Professionnal Career


February- July 2012 : Research laboratory experience
LAAS-CNRS (LAAS)
Model checking and static analysis of programs

February- June 2011 : Research laboratory experience
IRIT (IRIT)
Simplification of OCL constraints and Java code generation

January - June 2010 : Research laboratory experience
MIRACL (MIRACL)
Managing a structured Arabic dictionary


Academic formation


Since October 2012 : PhD thesis in computer science
CNRS, CRIL, University of Artois
Supervisor : Pr.Christophe Lecoutre

2010 - 2012 : Master’s degree in Distributed systems and critical software
University Toulouse 3, ENSEEIHT, INP Toulouse, INSAT, ENAC
Supervisors : Silvano Dal Zilio (M2R, LAAS), and Marie De Roquemaurel (M1, IRIT)

2007 - 2010: Bachelor degree in computer science
Faculty of Economics and Management of Sfax (FSEGS), Computer Science Department, Tunisia
Supervisor : Pr.Ahmed Hadj Kacem

2003 - 2007 : Baccalaureate in Mathematics
Pilot High School of Sfax, Tunisia