About

I’m a computer scientist specialized in formal methods for software verification and cybersecurity. I’m currently a senior formal verification engineer at NVIDIA.

Before, I was a postdoctoral researcher at the University of Luxembourg. I was a PhD student at the Max Planck Institute for Software Systems, co-advised by Rupak Majumdar and Damien Zufferey. In 2022, I spent half a year with Nikos Vasilakis at MIT CSAIL working on the shell script parallelization framework PaSh. Prior to that, I got a Masters degree from University of Saarland in 2019. If you are curious about details from my academic career, the Research section is the place to go for publications and the Software section gives an overview of software projects.