Who are we?

 

We are members of the Modelling and Verification team (MoVe) of department Network and Distributed System, in Laboratoire d'Informatique de Paris 6 (LIP6).

LIP6 is a co-managed University Pierre et Marie CURIE and CNRS lab.