Lina Ye a étudié l'informatique et les systèmes d'information à l'Université de Surrey, en Angleterre, et à l'Université de Paris-Sud 11. Elle a ensuite obtenu le diplôme de doctorat en informatique de l'Université de Paris-Sud 11, en France, en 2011. Elle a occupé un poste post-doctoral dans l'équipe de recherche CONVECS à l'Inria Rhône-Alpes en 2012-2014. Elle est actuellement professeur associé en informatique à CentraleSupélec, Université Paris Saclay. Ses travaux de recherche ont été effectués au laboratoire LRI (Laboratoire de Recherche en Informatique) jusqu'à fin 2020 et maintenant au laboratoire LMF (Laboratoire Méthodes Formelles), Université Paris Saclay, France.