Marieke Huisman gives her inaugural lecture, entitled "Software Reliability for Everyone".

In this lecture, she presents her view on the future of software verification research.

Booklet inaugural lecture