Reactive Systems Group

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




group photo



ERC project OSARES

The OSARES project has started 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…

Upcoming lectures

Recent Publications



more…