My research interests include static and dynamic program analysis, programming language design in general, theoretical computer science, and foundations of software technology.

Within this area, I focus on analyzing higher-order functional programs by enforcing program behavior and managing access control. In particular, my research interests aim at analysis techniques for JavaScript, which make substantial use of contract monitoring, effect monitoring, and dynamic effect inference to provide static and dynamic program guarantees.

Much of my previous work concerns the development of TreatJS, a language-embedded higher-order contract system for JavaScript. TreatJS provides many novel aspects of both an applied and theoretical nature. Moreover, I developed a language-embedded sandbox for JavaScript, which allows running JavaScript code in isolation to the host application, and I contributed to the theory of regular expressions, formal languages, and automaton theory.


  • Contract Systems
  • Static and dynamic program analysis
  • Higher-order Programming Languages
  • Formal Languages
  • Information Security
  • JavaScript

For more information, see my Research Statement.



For a complete list of my publications, see my DBLP page, my ACM Portal author page, my publications on, my profile, or my Google Scholar publications page.




  • Higher-Order Contracts for JavaScript
    Dissertation, University of Freiburg, 2018
  • Sicherheitsanalyse auf der Basis von Datenflusstheorie
    Master Thesis, University of Freiburg, 2011
  • Redundanzmechanismen für Storage-Area-Networks
    Bachelor Thesis, University of Freiburg, 2008