Lina Ye studied computer science and information systems at the University of Surrey, England, and at the Université de Paris-Sud 11. She then obtained her PhD in Computer Science from the Université de Paris-Sud 11, France, in 2011. She held a post-doctoral position in the CONVECS research team at Inria Rhône-Alpes in 2012-2014. She is currently Associate Professor of Computer Science at CentraleSupélec, Université Paris Saclay. Her research work was carried out at the LRI laboratory (Laboratoire de Recherche en Informatique) until the end of 2020 and now at the LMF laboratory (Laboratoire Méthodes Formelles), Université Paris Saclay, France.