News and Events
Here we list the news of FMT
|December 16, 2010||
Rom Langerak and Michael Weber have been nominated for the Inter-Actief Educational Award for the Department of Computer Science!
|December 13, 2010||
Work has started on a revised website for FMT -- you are looking at (part of) the result. When all content has been integrated this site wil replace the current website for FMT.
|December 3, 2010||
Joost-Pieter Katoen received the educational award of the Department of Computer Science of the RWTH Aachen for his lectures on "Data Structures and Algorithms" in the summer semester of 2010.
|November 26, 2010||
Tingting Han received the Overijssel Ph.D Award (the best PhD dissertation in 2009 at the University of Twente, NL). In the autumn of 2009, she defended her dissertation at both the RWTH Aachen and in Twente with honours. Her dissertation is on "Diagnosis, Synthesis and Analysis of Probabilistic Models".
|October 11, 2010||
Marieke Huisman has obtained a 1.3 million ERC Starting Independent Researcher Grant for the VerCors project, to work on the verification of concurrent data structures. Project duration is 60 months. Two PhD students and two post docs will be appointed on the project.
|August 30, 2010||
Arend Rensink has been appointed full professor SMTV (Software Modeling, Transformation and Verification) in FMT per September 1, 2010!
|July 6, 2010||
GROOVE won three prizes in the Transformation Tools Contest (TTC'10) workshop held last week in Málaga, Spain.
|January 14, 2010|
|November 30, 2009||
Mark Timmer and Theo Ruys have been nominated for the Inter-Actief Educational Award for the Department of Computer Science!
|September 23, 2009|