Curriculum
Diplomas
2014 Ph.D., Institut National Polytechnique (INP) de Toulouse, France.
Methods and Tools for the Integration of Formal Verification in Domain-Specific Languages
Director: Prof. Yamine Aït-Ameur
Supervisors: Xavier Crégut and Marc Pantel
2010 Master of Science in Computer Science, Université Paul Sabatier Toulouse III, France.
Professional Experience
Since 2017 Postdoctoral researcher, Inria Lille-Nord Europe, Lille, France.
2015-2016 Postdoctoral researcher, IRT Saint Exupéry (IRT AESE), Toulouse, France.
2015 Research Engineer, LAAS-CNRS, Toulouse, France.
2013-2014 Teaching and Research Assistant (ATER), INP Toulouse, France.
2010-2013 Ph.D. student, INP Toulouse, France.
Scholarships
Sept. 2012 A grant funded by the GDR GPL to join the Modeling Wizards master class 2012 held in
the Obergurgl University Center, Austria
Nov. 2012 - Jan. 2013 A grant funded by the National Institute of Informatics (NII, Tokyo, Japan)
to participate to the NII International Internship Program
Computer skills
Programming languages
C, Java, Xtend
Web technologies & Databases
JavaScript, JSON, PHP, PL/SQL, SQL
Model-driven engineering technologies
Acceleo, ATL, EMF, GMF, Kermeta, OCL, QVT, TMF(Xtext), Sirius
Formal methods and tools
Fiacre, LTL, model checking, Time Petri Nets, TINA toolbox
Modeling languages
SPEM, BPEL, UML, AADL
Integrated development environment
Eclipse IDE
Operating systems
Unix/Linux, MacOS, Windows
Languages
English Fluent
French Fluent
Arabic Native language