My main research topic is on the design and implementation of programming languages for reactive systems.

Selection of software (full list)

Selection of publications (full list)

Former PhD Students