News and Events

Here we list the news of FMT

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

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.

April 2, 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:

Further information.

December 11, 2013

Professor Jaco van de Pol waarnemend wetenschappelijk directeur CTIT

Het College van Bestuur heeft prof. dr. Jaco van de Pol benoemd tot waarnemend Wetenschappelijk Directeur van het Centrum voor Telematica en Informatietechnologie (CTIT) van de UT. De benoeming geldt vooralsnog voor een half jaar.

Prof. Jaco van de Pol (1969) is sinds 2007 verbonden aan de Universiteit Twente, waar hij de leerstoel Formal Methods and Tools leidt. Hij is gespecialiseerd in geavanceerde technieken, zoals model checking, om de betrouwbaarheid en veiligheid van complexe systemen te testen. Van de Pol studeerde en promoveerde aan de Universiteit Utrecht. Hij was onder meer werkzaam bij het Centrum voor Wiskunde en Informatica in Amsterdam, de LMU München en de TU Eindhoven. Hij coördineert het UT-aandeel in het 3TU Centre on Dependable ICT Systems (3TU.CEDICT) en is al lid van het expertiseteam dat het CTIT-bestuur adviseert.

Prof. Van de Pol volgt in deze functie tijdelijk prof. Peter Apers op, die per 1 januari 2014 decaan wordt van de faculteit Elektrotechniek, Wiskunde en Informatica (EWI).

September 20, 2013

Mark Timmer editor of the Nieuw Archief voor Wiskunde

Mark Timmer was invited to become an editor of the "Nieuw Archief voor Wiskunde". This quarterly journal of the Royal Dutch Mathematical Society is aimed at anyone who is involved with mathematics professionally.

September 17, 2013

Joost-Pieter Katoen is appointed as member of the Academia Europaea

Academia Europaea is the European Academy of Sciences, similar to the Dutch KNAW. See for information on the EA: "Our members are scientists and scholars who collectively aim to promote learning, education and research. ... members [are] leading experts from the physical sciences and technology, biological sciences and medicine, mathematics, the letters and humanities, social and cognitive sciences, economics and the law."

September 4, 2013

Prof. Aksit's keynote talk at SEAA 2013

Prof. Aksit will give a keynote talk at the 39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2013) in Santander, Spain on September 5, 2013, entitled “Gummy Modules for Coping with Emergent Behaviour”.

Further information.

July 19, 2013

Marieke Huisman receives Netherlands Prize for ICT Research 2013

The Netherlands Prize for ICT research 2013 worth €50,000 has been awarded to Dr Marieke Huisman (University of Twente). Computer scientist Huisman leads a research team that is working on reliability and correctness of concurrent software.

The jury was impressed by the quality and size of Marieke Huisman's work. They therefore consider Marieke Huisman to belong to the absolute top of her generation. Most computers and smartphones nowadays run concurrent software. This makes the software faster, but the different processes can interfere, which can cause computers to crash or malfunction. Huisman’s research helps eliminate those bugs and crashes, by use of logic-based reasoning. Over the past ten years she has made considerable progress in this area. 'She is also able to communicate the importance of her research and of computer science in general. She is committed to increasing young people's – and particularly girls' – interest in computer science and technology', according to the jury.

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