My research activities include program analysis of higher-order functional programs. Within this area, I focus on static and dynamic program analysis to enforce program behaviour and to manage access control. In particular, my research interests aim on 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 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 a theoretical nature. Moreover, I developed a language-embedded sandbox for JavaScript which allows to run 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 list of my publications see my DBLP page, my ACM Portal author page, my publications on, my profile, or my Google Scholar publications page.




  • Sicherheitsanalyse auf der Basis von Datenflusstheorie
    Master Thesis, University of Freiburg, 2011
  • Redundanzmechanismen für Storage-Area-Networks
    Bachelor Thesis, University of Freiburg, 2008