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)

Tuesday, 12:30, Hal B 2ALunch colloqium: Rajesh Kumar
Thursday, 16:00, Zi 5126Inaugural Speech: Marieke Huisman: Software Reliability for Everyone
Feb 02, 14:30, Waaier 4PhD Defense: Ruonan Li: Properly colored cycles in edge-colored graphs
Mar 02, 16:30, Zi 5126PhD Defense: Saeed Darabi: Verification of Program Parallelization
May 25, 16:30, Zi 5126PhD 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

Jan 11, 2018

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

Dec 19, 2017

Interview with Mariëlle Stoelinga in De Ingenieur: 'We willen de relatie tussen fysieke en cyberdreigingen in kaart brengen'. [in Dutch]

Dec 01, 2017

Interview with Mariëlle Stoelinga in U-Today: Mariëlle Stoelinga: mathematical detective. [in English]

More press releases and media coverage.

Latest News

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.
Jul 28, 2017

VENI grant for Arnd Hartmanns: Verification of Cyber-Physical Systems

Verification of Cyber-Physical Systems: Exploiting Uncertainty for Scalability
Dr. ir. Arnd Hartmanns, UT – Computer Science (EWI/CTIT/FMT)
Computers control our physical world: in self-driving cars, smart power grids, or manufacturing robots. We must verify that such systems work even when faced with unexpected and random events. This research will deliver practical mathematical verification methods which take advantage of the very randomness that challenges the control algorithms.

Further information.
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

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.