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

<< 2018 

April 15, 2018

Verify This Silver Award for Wytse Oortwijn and Mohsen Safari

At 'Verify This', part of the ETAPS Conference in Thessaloniki in April 2018, Wytse Oortwijn and Mohsen Safari won Verify This Student Team - Silver Award!

April 10, 2018

ERC Advanced Grant for Joost-Pieter Katoen

The self-driving car will rely on it for its driving behaviour, the autonomous robot can’t do without. ‘Probabilistic’ computer programmes are getting more and more important in artificial intelligence. This type of software deals with many uncertainties and real-world data. Is it possible to verify correct operations, given this level of uncertainty? Joost-Pieter Katoen, Professor at the RWTH Aachen and the University of Twente, proposes a new approach, and he receives an Advanced Grant of the European Research Council (ERC) for this.

Further information.
March 22, 2018

Roeland Krak wins the ENIAC Best Thesis Award 2017!

22 March 2018, Roeland Krak has received the ENIAC Thesis Prize for the college year 2016-2017. Associated is € 500,- prize money, as well as a work of art in the price range of € 150 to € 200. All nominees have also received the book Start with Why.