About

Hey! I’m Felix, a postdoctoral researcher in the Security and Trust of Software Systems (SaToSS) group led by Sjouke Mauw at the University of Luxembourg. My research focuses on formal methods for security and software verification, with applications to security protocols and message-passing programs. 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!