Number of documents
22
Paolo Ballarini
I am an assitant professor at Lab. MICS of CentraleSupélec am an assistant professor (maître de conférence) at the Laboratory MAS (Applied Mathematics
and Systems) of CentraleSupeléc (formerly Ecole Centrale Paris). My principle research interests are in the area of formal methods for modelling and verification of systems characterised by stochasticity, concurrency and parallelism