ERC Consolidator Grant awarded to CISPA researcher Rayna Dimitrova
The ERC Consolidator Grant is one of Europe’s most prestigious funding schemes and supports high-risk, high-reward research projects. SyReP tackles a core challenge that existing methods fail to address: once reactive systems must operate on real-world data—such as sensor readings, user inputs, or complex system states—classical synthesis approaches break down. “Traditional methods strictly separate decision-making from the data used to make those decisions. That may be theoretically elegant, but it fails in modern software practice,” ...