Skip to main content
Students
itslearning
Access to your courses
mySDU
For students at SDU
SDUmail - Webmail service
Outlook Web Mail
SDU Student Self-Service
Course registration, exams and results
Library
See your status, reservations and renew loans
DigitalExam
Login to DigitalExam
Employees
itslearning
SDU's e-learn platform
SDUNet.dk
SDU's intranet
DigitalExam
Login to DigitalExam
Find
Find person
Search for contact information on employees
Directory
Finding your way at the University of Southern Denmark
Faculty of Science
Students
itslearning
Access to your courses
mySDU
For students at SDU
SDUmail - Webmail service
Outlook Web Mail
SDU Student Self-Service
Course registration, exams and results
Library
See your status, reservations and renew loans
DigitalExam
Login to DigitalExam
Employees
itslearning
SDU's e-learn platform
SDUNet.dk
SDU's intranet
DigitalExam
Login to DigitalExam
Find
Find person
Search for contact information on employees
Directory
Finding your way at the University of Southern Denmark
Foundation.Personalization.CookieSectionLabel
Foundation.Personalization.Login
Foundation.Personalization.ResetDefaultPageCookieLabel
Foundation.Personalization.AddDefaultPageCookieLabel
University of Southern Denmark, SDU
University of Southern Denmark, SDU
Centre for Formal Methods and Future Computing (FORM)
Research areas
Employees
Centre Director
Administrative Staff
Investigators
Scientific Advisory Board
Contact
SDU.Search.SearchButton
Find person
Find your way to SDU
SDU.Search.SearchButton
SDU
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