Formal Methods and Tools

FacultiesEEMCSDisciplines & departmentsFormal Methods and ToolsEducation

FMT group

Suggestions

Address

EEMCS FMT department
Zilverling building
P.O. Box 217
7500AE Enschede
The Netherlands

+31 53 489 2805

secr-fmt-eemcs@utwente.nl

UT

Contact
Route & Campus map
People Pages: find employees
Careers
Library
Visual Identity & logo
Merchandise webshop

Information for

Prospective Students
Current Students
Employees (Service Portal)
Alumni
Journalists
Employers
School counsellors

Follow us:

Disclaimer & Copyright Privacy & CookiesLast update 11 Mar 2026