Reactive Systems Group

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

group photo

ERC project OSARES

The OSARES project will start in April 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…


Summer 2016


Recent Publications