UTFacultiesEEMCSDisciplines & departmentsFormal Methods and ToolsNewsMarielle Stoelinga appointed as member of KHMW

Marielle Stoelinga appointed as member of KHMW

Prof.dr. Marielle Stoelinga has been appointed as member of the Koninklijke Hollandsche Maatschappij der Wetenschappen (KHMW). Stoelinga is professor of Risk management for High-Tech Systems at the faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS), in the Formal Methods and Tools research group. 
See for the entire text (Dutch): Mariëlle Stoelinga benoemd tot lid KHMW