Home

CONTACTS

- email: paolo.ballarini@centralesupelec.fr
- phone: +33 1 75 31 65 79
- address: CentraleSupeléc, Laboratoire MICS, Plateau-Moulon, 91192, Gif-sur-Yvette, FRANCE.
- office: SC.121, Batiment Bouygues, Section S1.

I am an assistant professor (maître de conférence) at the Laboratory MICS (Mathematics and Informatics for Complex Systems) of Ecole CentraleSupeléc (University of Paris Saclay). My principle research interests are in the area of formal methods for modelling and verification of systems characterised by stochasticity, concurrency and parallelism (see my research).