POLARIS - Advancing Polynomial and Logical Approaches for Trusted Automated Reasoning over Integrated Systems

01.01.2027 - 31.12.2031
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Förderungmittel

  • European Commission (EU) ERC Starting Grant ERC Europäischer Forschungsrat HORIZON I - Herausragende Wissenschaft Rahmenprogramm HORIZON EUROPE Europäische Kommission Ausschreibungskennung ERC-2026-STG

Forschungsschwerpunkte

  • Logic and Computation: 100%

Publikationen