Curriculum Vitae

Education

  • September 2014-now : PhD (LORIA / Université de Lorraine)
  • 2012 : Master thesis in Computer Science (Ecole Nationale d’Ingénieurs de Sfax, Tunisie)
  • 2007-2009 : Masters degree in Computer Science (Faculté des Sciences de Sfax, Tunisie)

Professional Experience

  • May 2013-July 2013 : Researcher Trainee (PhD research internship) in th Dedale team – LORIA – Vandœuvre-lès-Nancy
  • April 2014-July 2014 : Researcher Trainee (PhD research internship) in th Dedale team – LORIA – Vandœuvre-lès-Nancy

Center of interest and skills

Event-B Formal Method
80%
Requirements Engineering
80%
Verification and Validation
80%

Software Engineering
70%