Ο καθηγητής Ezio Bartocci του Technische Universitat Wien θα δώσει ομιλία με θέμα

“Moment-based Analysis of Probabilistic Programs”

την Πέμπτη 6 Οκτωβρίου 2022 στις 09:00  στο Αμφιθέατρο Ι του ΚΕΔΕΑ, 3ης Σεπτεμβρίου – Πανεπιστημιούπολη, 546 36 ΘΕΣΣΑΛΟΝΙΚΗ.

Περίληψη:

Probabilistic programs (PPs), originally employed in cryptographic/privacy protocols and randomized algorithms, are now gaining momentum due to the several emerging applications in the areas of machine learning and AI. Probabilistic programming languages include native constructs for sampling distributions allowing to freely mix deterministic and stochastic elements. The resulting flexible framework comes at the price of programs with behaviors hard to analyze, leading to unpredictable adverse consequences in safety-critical applications. One of the main challenges in the analysis of these programs is to compute invariant properties that summarize loop behaviors. Despite recent results, full automation of invariant generation is at its infancy and only targets expected values of the program variables, which is insufficient to recover the full probabilistic program behavior. In this talk, we present some of the results of our project ProbInG that aims at developing novel and fully automated approaches to generate invariants over higher-order moments and the value distribution of program variables, without any user guidance.

Σύντομο βιογραφικό:

Ezio Bartocci is currently a full professor for Formal Methods in Cyber-Physical Systems Engineering at the Faculty of Computer Science TU Wien where he is leading the Trustworthy Cyber-Physical Systems (TrustCPS) Group. The primary focus of his research is to develop formal methods, computational tools and techniques that support the modeling and the automated analysis of complex computational systems, including software systems, cyber-physical systems and biological systems. He has published more than 100 articles and papers in top journals and conferences (e.g., ICSE, CAV, TACAS, EMSOFT, etc.). He is currently the scientific coordinator of the WWTF ICT project ProbInG, the vice-chair for program admission for the Marie Skłodowska-Curie COFUND Doctoral Programme LogiCS@TUWien.