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