News and Events

Here we list the news of FMT

<< 1 2 3 4 5 6 7 8 9 >>

October 8, 2015

Research of the NASCENCE project has been published in NATURE NANOTECHNOLOGY

A recent breakthorugh in the area of Unconventional Computing has been published in the leading British journal Nature Nanotechnology. In this research a group of scientists of CTIT and MESA of the UT have demonstrated how a disordered network of gold nanoparticles can be configured into any of the Boolean logic gates by using a form of artificial evolution. This proof of principle has great potential for future alternatives to digital computing, and for multi-purpose devices at the nanoscale. For more information, follow the link to the publication:

For comments of an expert on the achievements and their potential impact see:

September 24, 2015

Sebastian Junges wins Best Master Thesis Prize in Germany

His work, entitled Simplifying Fault Trees by Graph Rewriting, has been selected by the Fakultätentag Informatik. Sebastian will be awarded the price during the 45th Annual Meeting of the German Informatics Society (Gesellschaft für Informatik e.V. – GI).

His thesis has been supervised by Joost-Pieter Katoen and Marielle Stoelinga. He wrote his work during an exchange visit at the FMT group, collaborating with Dennis Guck, Arend Rensink and Marielle Stoelinga.

(Foto by BTU Cottbus-Senftenberg/MMZ)

June 26, 2015

Sebastian Junges writes best Computer Science MSc thesis of RWTH Aachen University

Sebastian Junges, a student from RWTH Aachen University who wrote his MSc thesis at the Formal Methods & Tools group, wins a prizes for being the best MSc student in Computer Science at RWTH Aachen. His Grade Point Average is 1.1.

Moreover, his MSc thesis has been elected as the best MSc thesis in Computer Science.As such, RWTH Aachen has nominated his thesis for the Fakultätentag Informatik (FTI) Preis 2015, a nation-wide award in Computer Science.

Junges' thesis concerns Fault Tree Analysis, a wide spread technique in system reliability engineering, deployed by NASA, Airbus, Boeing, ESA, Toyota etc. Junges presents a technique to reduce the computation of Fault Trees, by graph transfromation techniques. In this way, fault trees can be analyzed that were too complex before. 

The thesis has been supervised by Joost-Pieter Katoen, and Marielle Stoelinga, in collaboration with Arend Rensink.


Further information.

April 29, 2015

February 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.

December 1, 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:


November 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:!/2014/11/350976/professor-de-winterprijs-voor-severine-le-gac-en-marieke-huisman



November 28, 2014


Tijdens de viering van de Dies Natalis van de Universiteit Twente werd vandaag de Overijssel PhD-Award, voor het beste proefschrift van het afgelopen jaar, uitgereikt aan dr. Mark Timmer van onderzoeksinstituut CTIT.


Further information!/2014/11/350971/overijssel-phd-award-voor-mark-timmer

November 5, 2014

Mark Timmer receives the IPA Dissertation Award

Mark Timmer is endowed with the IPA Dissertation Award (2013) for his thesis Efficient Modelling, Generation and Analysis of Markov Automata during the IPA Fall Days 2014.


Further information


June 12, 2014

Steven te Brinke wins second prize in CTIT poster competition

During the CTIT Symposium of Tuesday 3 June, Steven te Brinke won the second prize in the PhD poster competition with his poster "Interpreting Energy Profiles with CEGAR".

Further information.

<< 1 2 3 4 5 6 7 8 9 >>