Marieke Huisman

Software reliability

9 May 2019, 13:40-14:20

Software is the glue in all modern digital systems: it connects the different components and ensures that they can collaborate together. Thus, the reliability of the software is crucial for the well-functioning of all these modern systems. In academia, there is ample research on techniques to improve software reliability, but 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, and I will discuss how we need to change our software development practice to incorporate such techniques in a more systematic manner. In addition, I will argue that incorporating these techniques will lead not only to better quality and more reliable systems, but also to lower development and maintenance costs.

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.