Tuesday 1 November 2022
As of 1 November 2022, Marieke Huisman has started as Chair of the Computer Science department of the faculty EEMCS. We wish her lots of success in her new role, which she performs besides her role as full professor and chair of the UT research group Formal Methods and Tools.