Skip to main content
Menu
Formal Methods and Tools
UT
Faculties
EEMCS
Disciplines & departments
Formal Methods and Tools
News
Marcus Gerhold wins Best Teacher CreaTe & I-Tech award '21-'22!
Formal Methods and Tools
UT
Faculties
EEMCS
Disciplines & departments
Formal Methods and Tools
News
Marcus Gerhold wins Best Teacher CreaTe & I-Tech award '21-'22!
Marcus Gerhold wins Best Teacher CreaTe & I-Tech award '21-'22!
Previous article
Next article
Tuesday 31 May 2022
We are proud to have Marcus in our team!
More recent news
Thu 21 Sep 2023
Book published: Concise Guide to Software Verification - From Model Checking to Annotation Checking
Thu 21 Sep 2023
17 October 2023, 14:45: Thesis defense Sophie Lathouwers
Thu 21 Sep 2023
Papers of the month:
Thu 21 Sep 2023
New project 'Open Competitie ENW M22-3'
Fri 1 Sep 2023
Two new FMT members: Fernando Castor and Edoardo Putti
News summary
Close
Suggestions