COntext-free model checking for Recursive PrObabilistic pRogrAms

01.09.2023 - 31.08.2025
Research funding project

People

Project leader

Sub project leader

Institute

Förderungmittel

  • European Commission (EU) MSCA-Postdoctoral European Fellowships Marie Skłodowska-Curie Actions (MSCA) HORIZON I - Herausragende Wissenschaft Rahmenprogramm HORIZON EUROPE Europäische Kommission Ausschreibungskennung HORIZON-MSCA-2022-PF-01

Research focus

  • Logic and Computation: 50%
  • Computer Science Foundations: 50%

Publications