Skip to main content

ERC Starting Grant awarded to Daniel Kroening


Daniel Kroening has been awarded a European Research Council (ERC) Starting Grant totaling approximately 1.4M euro over 5 years.

Daniel’s work on the Validation of Concurrent Software Across Abstraction Layers project  – or  CProver for short – is tackling one of the most pressing issue in software quality assurance in mainstream software engineering: the use of concurrency.

ERC Starting grants are advertised to be allocated "to top talent to carry out their pioneering research". Only 28 such grants in computer science have been awarded for the whole of Europe.