Symbolic Computation and Automated Reasoning for Program Analysis

01.04.2016 - 30.06.2021
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Förderungsmittel

  • 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

Forschungsschwerpunkte

  • Information and Communication Technology