Formal Methods and Tools

FacultiesEEMCSDisciplines & departmentsFormal Methods and Tools

Ed Brinksma elected as an Honorary Fellow of the Dutch National Association for Software Engineering

Ed Brinksma elected as an Honorary Fellow of the Dutch National Association for Software Engineering

Thursday 21 May 2026

Here's a link to LinkedIn

More recent news

Thu 8 Oct 2026
Goodbye to Stefano
Mon 28 Sep 2026
LLL: Digital, Design & Architecture course - first graduates!
Tue 8 Sep 2026
Papers of the Month: September 2026
Mon 31 Aug 2026
FSEN 2027 and IPA Spring Days at the University of Twente!
Thu 20 Aug 2026
Papers of the Month: August 2026
Wed 8 Jul 2026
Papers of the Month: July 2026

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 10 Dec 2025