Felix Stutz

Felix Stutz is a researcher in the Security and Trust of Software Systems (SaToSS) group at the University of Luxembourg, led by Sjouke Mauw. He holds a PhD from the Max Planck Institute for Software Systems (MPI-SWS), where he was advised by Rupak Majumdar and Damien Zufferey. His research focuses on formal methods for concurrent/distributed systems, security protocols, and message-passing program analysis.

Education:

• PhD in Computer Science, MPI-SWS (2022)
• Masters degree from University of Saarland
• Research internship at Imperial College London with Emanuele D’Osualdo and Philippa Gardner

Research Interests: Felix specializes in formal verification of distributed systems, cryptographic protocols, and algorithmic security analysis. His work bridges theoretical foundations with practical tools like the PaSh shell script parallelizer and Lemma9 cryptographic protocol verifier.

Professional Highlights: Collaborated with MIT CSAIL on PaSh (2022), contributed to tools like AMGC for session types and Heimdall for Erlang scheduling. His research emphasizes tool-supported verification for complex systems.