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. The FMT group also participates in the research institute CTIT.

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

Next Monday, 16:00, Hal B 2AMSc Presentation: Vincent Bloemen: On-The-Fly Parallel Decomposition of Strongly Connected Components
Jun 04, 14:30, Waaier 4PhD Defense: Steven te Brinke: Developing Energy-Aware Software
Jun 12, 12:45, Zi 2042Presentation: Ina Schaefer: Title to be announced
Oct 01, 12:30, Waaier 4PhD Defense: Marina Zaharieva-Stojanovski: Title to be announced

More events; more lunch colloquia.

Press Releases and Media Coverage

May 18, 2015

Interview with Jaco van de Pol in Scientias: Wanneer gaat de bitcoin onze harde euro’s vervangen?. [in Dutch]

Apr 29, 2015

Video about the research projects in the ExploRail programme by ProRail, NWO, STW Mariëlle Stoelinga, Joost-Pieter Katoen, Dennis Guck, Enno Ruijters: ExploRail, onderzoeksprogramma ProRail-STW-NWO. [in Dutch]

Apr 24, 2015

Press Release Mariëlle Stoelinga, Nikki Oldemonnikhof, Helma Hoving: Rijksmuseum Twenthe en UT verbinden kunst en high tech in lezingenserie. [in Dutch]

More press releases and media coverage.

Latest News

Feb 27, 2015

Rom Langerak nominated for Education Prize 2015

Rom Langerak has been nominated for the Education Prize for Computer Science 2015. On March 3 he will give a mini-lecture, together with the other contestants Maurice van Keulen and Klaas Sikkel. March 9 the winner will be announced by Inter-Actief.

Dec 01, 2014

Marieke Huisman Received NWO Top-grant for Verification of Distributed Software

NWO Exacte Wetenschappen kent aan 16 wetenschappers in de astronomie, informatica en wiskunde of een combinatie van deze disciplines (multidisciplinair) een TOP-subsidie toe. Zeven wetenschappers zijn senior onderzoekers met een bewezen track record, de overige negen zijn junior onderzoekers die aan het begin van hun wetenschappelijke carrière staan. In totaal ontvangen de wetenschappers 6 miljoen euro. 

 

Further information: 

http://www.nwo.nl/actueel/nieuws/2014/ew/6-miljoen-euro-voor-toponderzoek-in-exacte-wetenschappen.html

 

Nov 28, 2014

Marieke Huisman Received Professor De Winter Prize

Tijdens de viering van de Dies Natalis van de Universiteit Twente werd vandaag de Professor De Winterprijs uitgereikt aan dr. ir. Séverine Le Gac en prof. dr. Marieke Huisman. Het is de eerste keer in de geschiedenis  van deze publicatieprijs voor vrouwelijk toptalent dat de prijs naar twee onderzoeksters gaat. Le Gac is verbonden aan de UT-onderzoeksinstituten MESA en MIRA; Huismans onderzoek valt onder het CTIT. 

 

 

Further information:

http://www.utwente.nl/nieuwsevents/!/2014/11/350976/professor-de-winterprijs-voor-severine-le-gac-en-marieke-huisman

http://www.utwente.nl/fotomap/dies2014/

http://www.utnieuws.nl/nieuws/60813/De_Winterprijs_gaat_naar_twee_vrouwen

 

 

More news.

Latest Publications

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

Li, B. and Ning, B. and Broersma, H.J. and Zhang, S. (2015) Characterizing heavy subgraph pairs for pancyclicity. Graphs and combinatorics, 31 (3). pp. 649-667. ISSN 0911-0119 *** ISI Impact 0,35 ***

Zhang, Yanbo (2015) Generalized Ramsey numbers for graphs. PhD thesis, Univ. of Twente. CTIT Ph.D.-thesis series No. 15-345 ISBN 978-90-365-3832-9

Soleimanifard, S. and Gurov, D. and Huisman, M. (2015) Procedure-modular specification and verification of temporal safety properties. Software and systems modeling, 14 (1). pp. 83-100. ISSN 1619-1366 *** ISI Impact 1,25 ***

Blom, S.C.C. and Huisman, M. and Zaharieva-Stojanovski, M. (2015) History-based Verification of Functional Behaviour of Concurrent Programs. Technical Report TR-CTIT-15-02, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Cohen, A. and Donaldson, A.F. and Huisman, M. and Katoen, J.P. (2013) Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142). Dagstuhl reports 3(4), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany. ISSN 2192-5283

More publications.