September 1st 2022

Two CPEC members receive an ERC Advanced Grant

In 2022, Principal Investigator Bernd Finkbeiner and CPEC member Sven Apel each received an ERC Advanced Grant:

  • ERC Advanced Grant awarded to Bernd Finkbeiner:
    Logics and Algorithms for a Unified Theory of Hyperproperties (HYPER)
  • ERC Advanced Grant awarded to Sven Apel:
    Brains on Code: A Neuroscientific Foundation of Program Comprehension