Yassine Lakhnech

Graduate of the University of Kiel in Germany and specialized in program verification and provable security, as well as in links between logic and computational models, Yassine Lakhnech is a Professor at Université Grenoble Alpes (UGA). He has been involved in the leadership of major university projects, including the Persyval-lab LabEx (Laboratory of Excellence in Pervasive Systems and Algorithms), the PILSI building project (Innovation, Software and Intelligent Systems Centre) and the Initiative of Excellence Université Grenoble Alpes. Before being elected President of UGA in January 2020, he assumed various academic responsibilities such as Deputy Vice-president for Research, Vice-president for Research and Executive Director in charge of Research and innovation for the Initiative of Excellence UGA.