GandALF 2018

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…