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
Fri 4 Jul 2025
Akshay Dhonthi will defend his thesis on Monday 7 July, 16:45
Mon 23 Jun 2025
Best Paper Award at COORDINATION 2025
Thu 12 Jun 2025
Papers of the Month: June 2025
Tue 10 Jun 2025
Kick-off AMELIA project
Wed 21 May 2025
Marieke Huisman ended her term as SC chair of the ETAPS conferences
News summary
Close
Suggestions