Skip to main content
Menu
Formal Methods and Tools
UT
Faculties
EEMCS
Disciplines & departments
Formal Methods and Tools
News
Petra van den Bos started as assistant professor
Formal Methods and Tools
UT
Faculties
EEMCS
Disciplines & departments
Formal Methods and Tools
News
Petra van den Bos started as assistant professor
Petra van den Bos started as assistant professor
on 1 November 2021
Previous article
Next article
Wednesday 17 November 2021
Petra has succeeded Ansgar Fehnker; she is assistant professor, as from 1 November.
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