Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Berechnung in Polynomialzeit: Öffnen der Blackboxes für Bedingungserfüllungsprobleme
01.03.2023 - 28.02.2029
Forschungsförderungsprojekt
Personen
Projektleiter_in
Michael Pinsker
(E104-01)
Subprojektmanager_innen
Marie-Sophie Auzinger
(E104-01)
Institut
E104-01 - Forschungsbereich Algebra
Förderungmittel
European Commission (EU)
ERC Synergy Grant
ERC Europäischer Forschungsrat
HORIZON I - Herausragende Wissenschaft
Rahmenprogramm HORIZON EUROPE
Europäische Kommission
Ausschreibungskennung ERC-2022-SyG
Forschungsschwerpunkte
Logic and Computation: 50%
Mathematical and Algorithmic Foundations: 25%
Computer Science Foundations: 25%
Schlagwörter
Deutsch
Englisch
Berechnungskomplexität
Computational complexity
Universelle Algebra
Universal algebra
Logik in der theoretischen Informatik
logic in computer Science
Externe Partner_innen
Technische Universität Dresden
Charles University
Publikationen
Publikationsliste