11:45 – 12:25 and 16:00 – 16:40 (subject to change)
Software errors can have enormous consequences, causing economic loss and reputation damage, and sometimes even endanger lives. By using techniques to identify these errors as early as possible, these consequences can hopefully be avoided. In academia, there is ample research on techniques to improve software reliability. However, adoption of these techniques in the daily software development practice is slow. In this talk, I will give an impression of what can be achieved using technology developed in academia, including my own research on the verification of concurrent software, and then I would like to discuss with you what could be done to stimulate its adoption in industrial practice.
Marieke Huisman is professor in software reliability at the University of Twente. 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 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.