EMBEr
Exploring Moment-Based Equivalence
for probabilistic program

EMBEr (Exploring Moment-Based Equivalence for probabilistic program) is a project funded by the MSCA Postdoctoral Fellowships 2024.

It will be carried out at the Faculty of Informatics of TU Wien by Francesca Randone (P.I.) under the mentorship of prof. Ezio Bartocci, starting from September 2025.

Stay tuned to be updated about the project!