海角社区
Skip to main content
Students
Employees
Find
Find person
Search for contact information on employees
Directory
Finding your way at the 海角社区
Faculty of Science
Students
Employees
Find
Find person
Search for contact information on employees
Directory
Finding your way at the 海角社区
Start page
Login
Reset default page
Set as default page
海角社区, 海角社区
海角社区, 海角社区
Centre for Formal Methods and Future Computing (FORM)
Research areas
Employees
Centre Director
Administrative Staff
Investigators
Scientific Advisory Board
News
Contact
Search
Find person
Find your way to 海角社区
Search
海角社区
Research
Centre for Formal Methods and Future Computing (FORM)
Employees
Administrative Staff
Administrative Staff:
Administrative Staff
All
Centre Director
Administrative Staff
Investigators
Scientific Advisory Board
Administrative Staff:
Anne Katrine Birch Ømand
Centre Coordinator
birch@imada.sdu.dk
+45 6550 8284