News and Events

Here we list the news of FMT

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

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: 

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

 

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:

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

 

 

November 28, 2014

OVERIJSSEL PHD-AWARD VOOR MARK TIMMER

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

http://www.utwente.nl/nieuwsevents/!/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

http://www.win.tue.nl/ipa/?event=efficient-modelling-generation-and-analysis-of-markov-automata

http://www.bits-chips.nl/artikel/dissertatieprijs-voor-voorkomen-softwarefouten-met-kansmodellen.html

 

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.

May 9, 2014

Alfons Laarman graduated Cum Laude

Alfons, now Dr. Laarman, successfully defended his PhD thesis on "Scalable Multi-core Model Checking". His thesis, supervised by Prof. Jaco van de Pol, was distinguished with the Cum Laude predicate. His PhD-defense was the closure of the Dutch Model Checking Day "Advanced Model Checking Algorithms" organized by the University of Twente.

 

April 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 28 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.

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