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,
Even earlier, I got a Masters degree from University of Saarland and
If something piques your interest and you would like to chat, just send me a message!