Utilisateur:Lakhnech
Un article de Wikipédia, l'encyclopédie libre.
Yassine Lakhnech (né le 8 février 1964) est un informaticien tunisien, professeur à l'Université Joseph Fourier à Grenoble (Université Grenoble 1).
Yassine Lakhnech a obtenu un diplôme en Informatique mention Mathématiques de la Christian Albrechts Universitat zu Kiel. En 1996, il a soutenu sa thèse de doctorat à la même université, et en 1999 son habilitation à diriger la recherche à l'Université Grenoble 1. Sa thèse de doctorat portait sur des question de décidabilité et de liens entre logiques et automates pour les systèmes temporisés et hybrides mélangeant des dynamiques discrètes et continues. Son habilitation portait sur l'utilisation des abstractions pour la vérification des systèmes infinis.
Il a commencé à diriger des travaux dirigés dès son quatrième semestre d'étude. En 1996 il a été assistant (wissenschaftlicher Assistant) à l'université de Kiel. Entre 1996 et 1999 il a été régulièrement professeur invitè à l'université Grenoble 1 et à l'Institut Polytechnique de Grenoble. En 1999 il est devenu professeur des universités à l'Université Grenoble 1.
Ces dernières années, il s'est notamment intéressé aux fondements et à la vérification de la sécurité informatique et des systèmes cryptographiques.
