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
海角社区
Entrance Knoldene Ø
Campusvej 55
5230 Odense M
Last Updated 20.11.2025