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.

Upcoming Events (for recurrent events only next 7 days are shown)

Today, 15:45, RA 3336Group colloquium: Mohsen Safari: Computation and Communication-Efficient Algorithms for Solving the Shortest Path Problem on GPUs
Next Thursday, 15:45, RA 3334Group colloquium: Hans van der Laan: HermieLab: learning models of GUI-based Java programs made easy!
May 25, 16:30, Waaier 4PhD Defense: Enno Ruijters: Zen and the art of railway maintenance: Analysis and optimization of maintenance via fault trees and statistical model checking

More events; more lunch colloquia.

Press Releases and Media Coverage

Apr 23, 2018

Press Release Ansgar Fehnker in UT nieuws because Conference presentation at Nasa Formal Methods 2018: Aanval op Bitcoin blijkt eenvoudiger dan gedacht- Kleine minderheid kan meerderheid nieuw protocol opdringen. [in English]

Jan 30, 2018

Interview with Jaco van de Pol in Scientias: Cryptomunten: een bevlieging of het betaalmiddel van de toekomst?. [in Dutch]

Jan 11, 2018

Interview with Mariƫlle Stoelinga in U-Today: Mariƫlle Stoelinga: wiskundige detective. [in Dutch]

More press releases and media coverage.

Latest News

Apr 10, 2018

ERC Advanced Grant for Joost-Pieter Katoen

The self-driving car will rely on it for its driving behaviour, the autonomous robot can’t do without. ‘Probabilistic’ computer programmes are getting more and more important in artificial intelligence. This type of software deals with many uncertainties and real-world data. Is it possible to verify correct operations, given this level of uncertainty? Joost-Pieter Katoen, Professor at the RWTH Aachen and the University of Twente, proposes a new approach, and he receives an Advanced Grant of the European Research Council (ERC) for this.

Further information.
Mar 22, 2018

Roeland Krak wins the ENIAC Best Thesis Award 2017!

22 March 2018, Roeland Krak has received the ENIAC Thesis Prize for the college year 2016-2017. Associated is € 500,- prize money, as well as a work of art in the price range of € 150 to € 200. All nominees have also received the book Start with Why.


Nov 21, 2017

Award for Lifetime Achievements for professor Mehmet Aksit

During the SDPS conference in Birmingham, USA in the beginning of November 2017, professor Mehmet Aksit of the Formal Methods and Tools group, has received an Award for lifetime achievements in Software Research, Technology Innovation or Engineering Education.


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.