Exploring Moment-Based Equivalence for probabilistic programs

01.09.2025 - 31.08.2027
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

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-2024-PF-01

Forschungsschwerpunkte

  • Computer Engineering and Software-Intensive Systems: 100%

Publikationen