Scholar
Paolo Ballarini
Google Scholar ID: x33ZEbsAAAAJ
University of Paris Saclay
Citations & Impact
Citations
260
H-index
7
i10-index
3
Publications
20
Co-authors
31
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Involved in the COSMOS project, which models WiFi networks based on the RTS/CTS version of IEEE 802.11 MAC.
Research Experience
- Assistant Professor (Maître de Conférences) at the MICS Laboratory (Mathematics and Informatics for Complex Systems) of Ecole CentraleSupélec (University of Paris Saclay).
Background
- Research interests are in the area of formal methods for modelling and verification of systems characterised by stochasticity, concurrency, and parallelism.
Miscellany
- 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.
