News and Events

Here we list the news of FMT

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

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.


November 21, 2017

Award for Lifetime Achievements for professor Mehmet Aksit

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.


Further information.

July 28, 2017

VENI grant for Arnd Hartmanns: Verification of Cyber-Physical Systems

Verification of Cyber-Physical Systems: Exploiting Uncertainty for Scalability
Dr. ir. Arnd Hartmanns, UT – Computer Science (EWI/CTIT/FMT)
Computers control our physical world: in self-driving cars, smart power grids, or manufacturing robots. We must verify that such systems work even when faced with unexpected and random events. This research will deliver practical mathematical verification methods which take advantage of the very randomness that challenges the control algorithms.

Further information.

July 17, 2017

Marieke Huisman tot hoogleraar benoemd