Project leader

• Laura Kovacs (E192-04)

Förderungmittel

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

Research focus

• Logic and Computation: 100%

Publications

• Publications