Symbolic Computation and Automated Reasoning for Program Analysis

01.04.2016 - 30.06.2021
Research funding project

People

Project leader

Institute

Grant funds

  • European Commission (EU) H2020 I.1. ERC European Research Council Pillar Excellent Science Framework programme Horizon 2020 European Commission Call identifier ERC-2014-STG Application number 639270

Research focus

  • Computational Intelligence: 100%

Publications