Felix Stutz

Felix Stutz is a postdoctoral researcher in the Security and Trust of Software Systems (SaToSS) group at the University of Luxembourg. His research focuses on formal methods for concurrent and distributed systems, as well as security protocols. He previously held positions as a PhD student at the Max Planck Institute for Software Systems (MPI-SWS) and a half-year research intern at MIT CSAIL (with Nikos Vasilakis) and Imperial College London (with Emanuele D’Osualdo and Philippa Gardner).

• MSc in Computer Science, University of Saarland
• PhD, Max Planck Institute for Software Systems (MPI-SWS), co-advised by Rupak Majumdar and Damien Zufferey

Research interests include formal verification of software systems, algorithmic analysis of message-passing programs, and depth-bounded protocol verification. His work has produced tools like Lemma9 for cryptographic protocol verification and contributions to the PaSh parallelization framework.

He has collaborated with institutions including MIT CSAIL, Imperial College London, and the University of Saarland. Felix is actively involved in software development and is available for asynchronous communication via email.