- Name: Ala Eddine Ben Salem
- Email: firstname.lastname@example.org
- Subject: "Model checking adapté aux spécifications et propriétés à vérifier"
- Ecole doctorale : EDITE
- Advisors : Fabrice Kordon (UPMC-LIP6), Alexandre Duret-Lutz (LRDE)
Ala Eddine BEN SALEM, graduate of ENSEEIHT (Ingénieur IMA, 2005), has completed in 2005 a Master in Software Safety and High Performance Computing at the Institut National Polytechnique of Toulouse. Then he has worked as a software engineer at GILEM (SSII). He is working with us since year 2010-2011 on the Spot project.