9 May 2019, 13:40-14:20
Marieke Huisman is professor in software reliability at the University of Twente, leading the group Formal Methods and Tools. She obtained her PhD from the Radboud University Nijmegen in 2001 on verification of Java programs. After this, she worked for almost eight years at Inria Sophia Antipolis in France, on the verification of (concurrent) Java programs. Since 2008, she works in Twente. In 2011, she received an ERC Starting Grant to work on the verification of concurrent software. In 2017, she received an NWO Vici grant for the Mercedes project, on maximal reliability of concurrent and distributed software.