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)

Thursday, 15:45, RA 3334Group colloquium: Vincent Bloemen

More events; more lunch colloquia.

Press Releases and Media Coverage

May 09, 2018

Interview with Jaco van de Pol in NPO Radio 1, Spraakmakers because of Dutch Blockchain Research Agenda: Jaco van de Pol on the Dutch Blockchain Research Agenda on NPO Radio 1, Spraakmakers. [in English]

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]

More press releases and media coverage.

Latest News

Apr 15, 2018

Verify This Silver Award for Wytse Oortwijn and Mohsen Safari

At 'Verify This', part of the ETAPS Conference in Thessaloniki in April 2018, Wytse Oortwijn and Mohsen Safari won Verify This Student Team - Silver Award!

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.

 

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.