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