Ala-Eddine Ben-Salem


  • Name: Ala Eddine Ben Salem
  • Email:
  • 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)

  • Comment:

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.