Doctoral Program in Industrial Innovation
ERC Consolidator Grant 2020 ARTIST: Automated Reasoning with Theories and Induction for Software Technologies
ICT DAYS 2021
Integrated collaborative systems in Smart Factories