Centre for Formal Methods and Future Computing
Contact
For any general enquiries, please contact the Centre Director. For more specific queries, feel free to reach out directly to the relevant person.
Centre Director
Fabrizio Montesi
Professor, DIAS Chair
Phone
+45 65 50 71 71
Find your way to the centre
Centre for Formal Methods and Future Computing
Department of Mathematics and Computer Science
University of Southern Denmark
Entrance Knoldene Ø
Campusvej 55
5230 Odense M
Last Updated 20.11.2025