For any general enquiries, please contact us here. For more specific queries, feel free to reach out directly to the relevant person via the People page below.
Centre for Formal Methods and Future Computing (FORM)
Department of Mathematics and Computer Science
SDU – The University of Southern Denmark
Campusvej 55
DK-5230 Odense M
Centre Director
Fabrizio Montesi
Professor, DIAS Chair
+45 6550 7171
fmontesi@imada.sdu.dk