ERC Consolidator Grant 2020 for Laura Kovacs

Friday, Dec 11, 2020

Laura Kovács has been awarded with an ERC Consolidator Grant 2020, for her project “ARTIST: Automated Reasoning with Theories and Induction for Software Technology”.