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
Tue 23 Apr 2024
2nd place of student teams at VerifyThis 2024
Tue 9 Apr 2024
Papers of the Month: April 2024
Wed 27 Mar 2024
Faizan Ahmed appointed Programme Director BIT
Tue 12 Mar 2024
FMT Papers of the Month: March 2024
Tue 27 Feb 2024
Tom van Dijk in live broadcast: 'AI in Education'
News summary
Close
Suggestions