Ala-Eddine Ben-Salem
From LRDE
Revision as of 17:10, 2 October 2013 by Daniela Becker (talk | contribs) (Created page with "* Name: Ala Eddine Ben Salem * Email: ala@lrde.epita.fr * Subject: "Model checking adapté aux spécifications et propriétés à vérifier" * Ecole doctorale : EDITE * Adviso...")
- Name: Ala Eddine Ben Salem
- Email: ala@lrde.epita.fr
- 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.