Symbolic Computation and Automated Reasoning for Program Analysis

01.04.2016 - 30.06.2021
Research funding project

People

Project leader

Institute

Förderungmittel

  • European Commission (EU) H2020 I.1. ERC Europäischer Forschungsrat Säule Wissenschaftsexzellenz Rahmenprogramm Horizont 2020 Europäische Kommission Ausschreibungskennung ERC-2014-STG Antragsnummer 639270

Research focus

  • Computational Intelligence: 100%

Publications