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
Wed 25 May 2022
Welcome to an FMT guest: Luciano Putruele
Wed 25 May 2022
Welcome to a new FMT member: Yang Meng
Tue 24 May 2022
Joost-Pieter Katoen new member at Nordrhein-Westfälische Akademie der Wissenschaften und der Künste
Thu 12 May 2022
Georgiana Caltais' paper accepted
Mon 4 Apr 2022
2nd place at VerifyThis competition
News summary
Close
Suggestions