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. This includes the development of formal theories of concurrency, design methodologies for distributed systems, and correctness assessment using verification or validation techniques. The group is also concerned with the development of traditional tools such as compilers and interpreters. In both research and courses much attention is paid to the applicability of formal methods.

The FMT group is part of the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) at the University of Twente.

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

Tuesday, 12:30, HalB 2FLunch colloqium: Stefan Blom: Title to be announced
May 09, 10:15, Ra4334Symposium Dutch Model Checking Day
May 09, 16:45, Prof.Dr. G. Berkhoff-room of Waaier buildingPhD Defense: Alfons Laarman: Scalable multi-core model checking
May 16, 09.30, Vergaderruimte-UtrechtSymposium Theory Day 2014 of the NVTI (Nederlandse Vereniging voor Theoretische Informatica)

More events; more lunch colloquia.

Press Releases and Media Coverage

Dec 05, 2013

Interview with Jaco van de Pol in Tubantia because of a special issue on Bitcoins: Geld is alleen iets waard als je dat met elkaar afspreekt. [in Dutch]

Dec 01, 2013

Interview with Marieke Huisman in I/O magazine: Ik houd van complexe problemen. [in Dutch]

Dec 01, 2013

Interview with Marieke Huisman in THINQ: Ruim baan voor Formal Methods. [in Dutch]

More press releases and media coverage.

Latest News

Apr 14, 2014

Steven te Brinke wins Student Research Competition at SAC '14

The Symposium on Applied Computing (SAC) 2014 was held from March 24 to 18 in Gyeongju, Korea. SAC 2014 hosted a Student Research Competition that provides graduate students the opportunity to receive feedback on their research ideas from the scientific community. For this competition, students are selected based on submitted abstracts and then graded first on their poster and then on their presentation. Steven te Brinke from the FMT group of the University of Twente won the gold medal of this competition with his presentation titled "Interpreting Energy Profiles with CEGAR".

Further information.
Apr 02, 2014

Mark Timmer wins IPA dissertation prize

Dr. ir. Mark Timmer is the winner of the IPA Dissertation Award for the best IPA dissertation of 2013. Mark's thesis on 'Efficient Modelling, Generation and Analysis of Markov Automata' was selected as the best among the nominated theses. 

The committee considered this work of outstanding scientific quality. The results have had significant impact on the research field, as witnessed by the numerous citations to the publications included in the thesis. Moreover Dr. Timmer is a bright scholar, who was not only awarded with a  cum laude for the thesis, but also won an education award, and is successful in disseminating research results in forums other than scientific peer-reviewed journals. Finally the committee highly appreciated the tooling developed in addition to the theoretical contribution, as well as the experimental evidence provided to support the claims within the thesis.

Mark carried out his research at the University of Twente under the joint supervision of Jaco van de Pol, Joost-Pieter Katoen and Mariëlle Stoelinga.


Further information.
Mar 31, 2014

Marieke Huisman nominated for the Inter-Actief Onderwijsprijs 2013-2014

Marieke Huisman of the FMT group is nominated by the Computer Science students as one of the potential recipients of the yearly award for the best teacher. The list of nominees, in alphabetical order, reads:

  • Pieter-Tjerk de Boer
  • Lesley Broos
  • Marieke Huisman

The winner will be announced during an Inter-Actief drinks on April 30, at approx. 17:00 in the MBasement.

More news.

Latest Publications

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

Yin, Haihan (2013) Defusing the Debugging Scandal - Dedicated Debugging Technologies for Advanced Dispatching Languages. PhD thesis, Univ. of Twente. CTIT Ph.D.-thesis series No. 10-170 ISBN 978-90-365-3569-4

Broersma, H.J. and Patel, V. and Pyatkin, A. (2014) On toughness and hamiltonicity of 2K2-free graphs Journal of graph theory, 75 (3). pp. 244-255. ISSN 0364-9024 *** ISI Impact 0,63 ***

Bonsma, P.S. (2013) The complexity of rerouting shortest paths. Theoretical computer science, 510. pp. 1-12. ISSN 0304-3975 *** ISI Impact 0,49 ***

Blom, S.C.C. and Kiniry, J.R. and Huisman, M. (2013) How do developers use APIs? A case study in concurrency. In: Proceedings of the 18th International Conference on Engineering of Complex Computer Systems, ICECCS 2013, 17-19 Jul 2013, Singapore. pp. 212-221. IEEE Computer Society. ISBN 978-0-7695-5007-7

Schivo, S. and Scholma, J. and Wanders, B. and Urquidi Camacho, R. A. and van der Vet, P.E. and Karperien, H.B.J. and Langerak, R. and van de Pol, J.C. and Post, J.N. (2014) Modelling biological pathway dynamics with Timed Automata. IEEE Journal of Biomedical and Health Informatics, online pre-publication. ISSN 2168-2194

More publications.