Publications

• Modelling Recursion and Probabilistic Choice in Guarded Type Theory
  
  Philipp Stassen, Rasmus Møgelberg, Alejandro Aguirre, Maaike Zwart, Lars Birkedal
  POPL 2025
  PDF   Arxiv
• Don’t Panic! Analysing the Impact of Attacks on the Safety of Flight Management Systems
  
  Luca Castiglione, Philipp Stassen, Cora Perner, Daniel Pereira, Gustavo Bertoli, Emil Lupo
  DASC 2023, Post-proceedings 2024
  PDF   IEEE
• mitten: flexible multimodal proof assistant
  
  Philipp Stassen, Daniel Gratzer, Lars Birkedal
  TYPES 2022 Post-proceedings 2023
  PDF

Unpublished

• Programming language semantics in modal type theories (PhD Dissertation)
  
  Philipp Stassen
  PDF
• An Analysis of Curien’s Explicit Syntax for Dependent Type Theory (Masterthesis)
  
  Philipp Stassen
  PDF