Berechnung in Polynomialzeit: Öffnen der Blackboxes für Bedingungserfüllungsprobleme

01.03.2023 - 28.02.2029
Forschungsförderungsprojekt

Personen

Projektleiter_in

Subprojektmanager_innen

Institut

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

DeutschEnglisch
BerechnungskomplexitätComputational complexity
Universelle AlgebraUniversal algebra
Logik in der theoretischen Informatiklogic in computer Science

Externe Partner_innen

  • Technische Universität Dresden
  • Charles University

Publikationen