Our modern society heavily relies on computer systems – not only obvious technologies such as smartphones, computers and the internet depend on it, but also many modern means of transport, logistics, medical devices and household appliances. In many of these areas, faulty applications can endanger human lives. Hence, we need to assess risks of these technologies rigorously, for instance, using formal methods. When I first came across this field of computer science, I was fascinated by the idea to prove that systems comply with or violate their specification, to systematically estimate success probabilitites of attacks on computer systems and to even detect faulty behaviour during the execution of a system. After my studies, I wanted to explore and contribute to that exciting area of computer science and that’s why I am now a PhD student in the area of formal methods.

In a video conferencing call...

...I am happy to talk about my research.

...I am happy to answer questions about university and career-related questions.

...I am happy to moderate a discussion.

...I am happy to speak to others (e.g. to journalists, museums).