Projektleiter_in

• Ezio Bartocci (E191-01)

Subprojektleiter_in

• Michele Chiari (E191-01)

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

Forschungsschwerpunkte

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

Publikationen

• Publikationsliste