2010

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

<< 2010 >>

December 16, 2010

Rom Langerak and Michael Weber nominated for Educational Award

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 new FMT website -- many thanks to DIES

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.
This revised website is based on the website of the DIES group. We thank them for allowing us to build on their work!

Further information.
December 03, 2010

Joost-Pieter Katoen receives educational award

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 receives the Overijssel Ph.D Award

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". Further information.
October 11, 2010

Marieke Huisman obtains ERC Starting Independent Researcher Grant

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. Further information.
August 30, 2010

Arend Rensink appointed full professor!

Arend Rensink has been appointed full professor SMTV (Software Modeling, Transformation and Verification) in FMT per September 1, 2010!
July 06, 2010

GROOVE won three prizes at TTC'10

GROOVE won three prizes in the Transformation Tools Contest (TTC'10) workshop held last week in Málaga, Spain.
January 14, 2010

Mark Timmer wins Educational Award for CS!

Mark Timmer wins the Inter-Actief Educational Award for the Department of Computer Science! Further information.