About

I’m a computer scientist specializing in formal methods for software verification and cybersecurity. My goal is that software is reliable and safe to use. Towards this end, I develop and apply formal techniques to mathematically prove functional correctness as well as security and privacy guarantees, in particular for concurrent message-passing programs and security protocols. Currently, I am pursuing this as a postdoctoral researcher at the University of Luxembourg. If you are curious about details, the Research section is the place to go for publications and the Software section gives an overview of software projects.

Prior, I was a PhD student at the Max Planck Institute for Software Systems, co-advised by Rupak Majumdar and Damien Zufferey. For my PhD, I worked on analysis of message-passing programs. These consist of a collection of processes which interact exclusively by exchanging messages asynchronously. We devised algorithms to check that such programs behave as they should. In 2022, I spent half a year with Nikos Vasilakis at MIT CSAIL working on the shell script parallelization framework PaSh.

Even earlier, I got a Masters degree from University of Saarland and I did a half-year research internship at Imperial College London with Emanuele D’Osualdo and Philippa Gardner.

If something piques your interest and you would like to chat, just send me a message!