I am an assistant professor (maître de conférence) at the Laboratory MAS (Applied Mathematics and Systems) of  ECP (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 (see my research).

  • email: paolo.ballarini@ecp.fr
  • phone: +33 1 41 13 15 79
  • address: Ecole Centrale Paris, Laboratoire MAS, Grande Vois des Vignes, 92295, Chatenay-Malabry, FRANCE
Subpages (2): bio Papers