News and Events
Here we list the news of FMT
|March 22, 2018||
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.
|November 21, 2017||
During the SDPS conference in Birmingham, USA in the beginning of November 2017, professor Mehmet Aksit of the Formal Methods and Tools group, has received an Award for lifetime achievements in Software Research, Technology Innovation or Engineering Education.
|July 28, 2017||
Verification of Cyber-Physical Systems: Exploiting Uncertainty for Scalability
|July 17, 2017||