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

01.01.2027 - 31.12.2031
Research funding project

People

Project leader

Institute

Grant funds

  • European Commission (EU) ERC Starting Grant ERC European Research Council HORIZON I - Excellent Science Frameworkprogramme HORIZON EUROPE European Commission Call identifier ERC-2026-STG

Research focus

  • Logic and Computation: 100%

Publications