Student programmers wanted; open thesis topics available. Contact me.


  • July 2018: Paper about incremental build systems at ASE.
  • June 2018: Paper about incremental data-flow analysis at OOPSLA.
  • May 2018: Paper about compositional soundness of abstract interpreters accepted at ICFP.
  • May 2018: Paper about complex event processing using algebraic effects accepted at ICFP.
  • Apr 2018: Tamás Szabó and I will talk about incremental static analysis at Curry On 2018.
  • Feb 2018: I am serving as Co-Chair for ECOOP Workshops 2019.
  • Oct 2017: I am serving as General Chair of the Scala Symposium 2018.
  • Aug 2017: Attending Dagstuhl Seminar about The Software Language Engineering Body of Knowledge.
  • Aug 2017: Journal paper about first-order logic for language exploration accepted at SCP.

My team works on programming tools that supply developers with actionable feedback during development. Feedback is actionable if it is relevant to the programmer's task, if the programmer can rely on its correctness, and if it arrives in a timely manner. The feedback we derive protects developers against introducing unsafe code, security vulnerabilities, and specification violations, yet it also informs development tools such as compiler optimizations and refactorings. To address this vision, we conduct basic research in programming languages, algorithms, and software verification that enables actionable feedback in a form that is useful in practice.

I work in the Programming Languages Research Group at TU Delft, and maintain close collaboration with the Software Technology Group at TU Darmstadt and with research partners around the world.

PhD Students: Oliver Bračevac, Sylvia Grewe, Sven Keidel, Gabriël Konat, Edlira Kuci, Luís Eduardo Souza Amorim, Tamás Szabó

Alumni: Florian Lorenzen (PhD 2015)


I serve on the following committees:
2019 OOPSLA (PC), ECCOP Workshops (Chair)
2018 ASE (PC), SLE (PC), GPCE (PC), Scala (Chair), SLEBoK (PC), SAC OOPS (PC), NIER@ICSE (PC), COMLAN (guest editor)
2017 GPCE (Chair), IC@PLDI (Chair), META (PC), PEPM (PC), SPLASH Workshops (PC)
2016 ASE (ERP), ECOOP (PC), Scala (PC), LWC (PC), SPLASH Posters (Chair), GPCE (PC), LaMOD (PC), Dagstuhl Seminar on Incremental Computing (Chair)
2015 SLE (PC), DSLDI (Chair), WGP (Chair), Dagstuhl Seminar on DSLs (Chair)
2014 DSLDI (Chair), PLATEAU (PC), Parsing@SLE (Chair), DADA (PC), Onward (PC), GPCE (PC, PUB), LWC (PC)
2013 GPCE (PC), WCRE (tool demos), HessPL (Chair).