Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Exploring Moment-Based Equivalence for probabilistic programs
01.09.2025 - 31.08.2027
Forschungsförderungsprojekt
Personen
Projektleiter_in
Ezio Bartocci
(E191-01)
Institut
E191-01 - Forschungsbereich Cyber-Physical Systems
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
Publikationsliste