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örderungsmittel

  • 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

  • Computational Science and Engineering
  • Information and Communication Technology

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