The Blurb

I am a research assistant at the Software Reliability Group at Imperial College London   , where I research how we can best ensure that software works as it should. My specific focus is on the applicability of Symbolic Execution to real-world software.

Before that, I was a researcher and head of Systems Analysis at the Chair of Communication and Distributed Systems at RWTH Aachen University, where I worked on understanding the testability of distributed systems.

Service

• KLEE Workshop 2024   Co-Chair
• KLEE Workshop 2022   Co-Chair
• PLDI 2020   AEC Member