Symbolic Computation and Automated Reasoning for Program Analysis

01.04.2016 - 31.03.2021
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Förderungsmittel

  • Europäische Kommission - Rahmenprogamme (Internationale Förderung und Mischformen) Förderform ERC Starting Grant Förderinitiative H2020 I.1. ERC Europäischer Forschungsrat Förderschiene EU-Rahmenprogramm Forschung + Innovation Horizont 2020 Förderprogramm Europäische Kommission - Rahmenprogamme Fördergeber Europäische Kommission Reichweite Internationale Förderung und Mischformen Projekttyp Forschungsförderungsprojekt Ausschreibungskennung ERC-2014-STG Antragsnummer 639270

Forschungsschwerpunkte

  • Information and Communication Technology