Formal Methods and Tools

In the Formal Methods and Tools (FMT) research group, formal techniques and tools are developed and used as a means to support the development of software. Formal methods are mathematical techniques for the construction and analysis of software systems. Our central goal is to increase the reliability of the software that we rely on, as individuals and as society. We primarily target complex concurrent ICT systems, embedded in a technological context or in a distributed environment.

The FMT group is part of the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) at the University of Twente. The FMT group also participates in the research institute CTIT.

Press Releases and Media Coverage

Jul 21, 2017

Interview with Marieke Huisman in Alumni Magazine: Marieke Huisman gaat met VICI-beurs programmeerfouten te lijf. [in English]

Jul 21, 2017

Article mentioning Mariƫlle Stoelinga in U-Today: Netwerkveiligheid is niet anders dan je veiligheid thuis. [in English]

Jul 06, 2017

Article mentioning Mariƫlle Stoelinga in U-Today because Final exibition Have Fun & Play!: Intergalactic: CreaTe students strike again. [in English]

More press releases and media coverage.

Latest News

Jul 17, 2017

Marieke Huisman tot hoogleraar benoemd

Het College van Bestuur heeft prof. Marieke Huisman bevorderd tot hoogleraar op de leerstoel Software Reliability. De benoeming is per 1 juli jl. ingegaan en bedraagt 0,8 fte, voor onbepaalde tijd.
Wij wensen Marieke van harte geluk met haar benoeming! 

Peter Apers
Decaan EWI

Jul 15, 2017

Best Paper for Wytse, Tom and Jaco for Distributed BDDs

The following paper received a best paper award from SPIN 2017 in Santa Barbara:

Wytse Oortwijn, Tom van Dijk and Jaco van de Pol, Distributed Binary Decision Diagrams for Symbolic Reachability


Apr 13, 2017

Eredoctoraat Universiteit Aalborg voor Joost-Pieter Katoen

Op 7 april jl. heeft Joost-Pieter Katoen, deeltijd hoogleraar bij de vakgroep Formal Methods and Tools, een eredoctoraat van de Universiteit van Aalborg in ontvangst genomen.

Joost-Pieter krijgt het eredoctoraat vanwege zijn distinguished efforts in computer science.


Further information.

More news.

Latest Publications

(note: 'latest' refers to the date of addition to the EPrints publication database, not to the date of publication.)

More publications.