Events
- Guest Lectures: ``Probabilistic Program Analysis''
(April 2013, University of Verona)
- Lectures on ``Introduction to Dynamical Systems''
(June 2013, Bertinoro)
- Guest Lectures: ``Advanced Compilers''
(April 2014, University of Verona)
- Presentation: ``Quantitative Aspects in Program Synthesis''
(April 2014, QAPL'14, ETAPS Greoble)