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
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