Reactive Systems Group

We develop algorithms and tools for the synthesis and verification of reactive systems.




group photo



We have moved!

Visit us in our new offices in building E1.1

ERC project OSARES

The OSARES project will start in July 2016. The goal of the project is the automatic synthesis of distributed embedded systems — that is, the construction of computer programs for such systems by a computer without the help of a human programmer. The project is funded by the European Research Council for five years, from 2016 to 2021, as an ERC Consolidator Grant. more…

Current lectures