Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Portal
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)
Subprojektmanager_innen
Francesca Randone
(E191-01)
Institut
E191-01 - Research Unit of Cyber-Physical Systems
Grant funds
European Commission (EU)
MSCA-Postdoctoral European Fellowships
Marie Skłodowska-Curie Actions (MSCA)
HORIZON I - Excellent Science
Frameworkprogramme HORIZON EUROPE
European Commission
Call identifier HORIZON-MSCA-2024-PF-01
Forschungsschwerpunkte
Computer Engineering and Software-Intensive Systems: 100%
Publikationen
Publikationsliste