2014

Here we list the news of FMT by year (click on << or >> to shift to a different year).

<< 2014 >>

December 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

 

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 05, 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 09, 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.
April 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.
March 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.

January 27, 2014

Lesley Wevers & Steven te Brinke win Codecup

Lesley Wevers and Steven te Brinke have won the Codecup! In this years Codecup, computer programs competed in playing the board game Poly-Y. The goal of the competition is to write a computer program that plays stongest within the given time and memory limits. The propram of Lesley and Steven was undefeated in the finals.

More details about the game and competition can be found at: codecup.nl.

Further information.