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 DSI (Digital Society Institute)

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

Sept. 27, 15:45,
Cubicus B209
Group colloquium: Jaco van de Pol: Parameter Synthesis Algorithms for Parametric Interval Markov Chains
Oct. 17, 16:30,
Waaier 4
PhD Defense: Rajesh Kumar: Truth or Dare: Quantitative security risk analysis via attack trees
Dec. 12, 16:30,
Waaier 4
PhD Defense: Marcus Gerhold: Title to be announced
April 6, 9:00,
Prague, Czech Republic
Workshop: Jaco van de Pol: SynCoP 2019: Synthesis of Complex Parameters

More events; more lunch colloquia.

Press Releases and Media Coverage

July 12, 2018 Article mentioning Mariëlle Stoelinga in U-Today because Eindtentoonstelling ‘Have Fun & Play’ bij DesignLab: Van Frankenstein naar hyperbrein: speelse blik op toekomst door studenten Universiteit Twente. [in Dutch]
May 9, 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]
April 23, 2018 Press Release Ansgar Fehnker in U-Today because Conference presentation at Nasa Formal Methods 2018: Aanval op Bitcoin blijkt eenvoudiger dan gedacht- Kleine minderheid kan meerderheid nieuw protocol opdringen. [in English]

More press releases and media coverage.

Latest News

Sept. 13, 2018

Güner Orhan wins the IEEE Transactions on Cognitive and Developmental Systems (TCDS) Outstanding Paper award

Güner Orhan, with his co-authors, won the 2019 Outstanding Paper award in IEEE Transactions on Cognitive and Developmental Systems (TCDS)  for their paper entitled “Learning Context on a Humanoid Robot Using Incremental Latent Dirichlet Allocation,” by Hande Celikkanat, Guner Orhan, Nicolas Pugeault, Frank Guerin, Erol Şahin, and Sinan Kalkan. In: IEEE Transactions on Cognitive and Developmental Systems (IEEE TCDS), vol. 8, no. 1, pp. 42-59, 2016. The prize comes with a honorarium of US $1,000.

Sept. 12, 2018

Vincent Bloemen wins Best Student Paper at BPM2018

Vincent Bloemen won the Best Student Paper at BPM2018 (Sydney, Australia) for the paper "Maximizing Synchronization for Aligning Observed and Modelled Behaviour", by Vincent Bloemen, Sebastiaan van Zelst, Wil van der Aalst, Boudewijn van Dongen, and Jaco van de Pol.

April 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!

More news.