Lina Ye
Enseignante-Chercheuse, LMF, CentraleSupélec

Mail: lina.ye
Phone: +33 (0)1 75 31 78 69
Office: 3S59, Bâtiment ENS - Nord
Laboratoire Méthodes Formelles (LMF)
Université Paris-Saclay, CNRS, ENS Paris-Saclay
4 avenue des Sciences • 91190 Gif-sur-Yvette, France
Bio
I studied system information and computer science in University of Surrey, England and University of Paris-Sud 11, France. Then I received the PhD degree in Computer Science from University of Paris-Sud 11 in 2011. I held a post-doctoral position in the research team CONVECS at Inria Rhône-Alpes in 2012-2014. I am currently an associate professor (MCF) of computer science at CentraleSupélec, University Paris-Saclay. I carried out my research work at the LRI laboratory (Laboratoire de Recherche en Informatique) until the end of 2020 and now at the LMF laboratory (Laboratoire Méthodes Formelles), ENS Paris-Saclay, University Paris Saclay, France.
Teaching
I teach the following engineering courses in CentraleSupélec, campus Saclay:
- algorithmics and complexity (the first year)
- design and verification of critical system (the second year)
- intelligent systems for automated air traffic control (the second year)
- design and verification of hybrid systems (the third year, mention science logiciel)
- tests (the third year, mention science logiciel)
I also teach the following course for Bachelor AIDAMS of CentraleSupélec and ESSEC, campus Cergy
- Advanced Programming and Algorithm-Complexity (the second year)
Research
Research Interests
I am interested in formal methods for the verification of complex systems for properties such as diagnosis-based properties (diagnosability, predictability, manifestability and so on) and safety properties, in particular for
- Infinite Probabilistic Models
- Learning systems (DNNs such as RNNs)
- Distributed systems
- Discrete-event systems, real-time systems and hybrid systems
Publications
Current projects
- PEPR SAIF 2023-2029
- ANR MAVeriQ 2021-2025
Other activities
- membre du comité des programmes pour l'Institut DATAIA, Université Paris-Saclay (2021-present)
- representative of Paris Saclay University for AIDA AIDA - International AI Doctoral Academy (2022-present)
- membre du bureau et membre du conseil pour Guaduate School Informatique et Sciences du Numérique (2021-present)