I am a graduate student in Computer Science and applied mathematics from INP-ENSEEIHT (highly ranked engineering school at Toulouse/France). Currently, I am a research engineer at NASA Ames Research Center. My research is mainly on program analysis and verification. I'm currently working with coco-team on developing a Matlab toolbox for verifying Simulink/Stateflow models. Simulink, developed by MathWorks, is a graphical programming environment for modeling, simulating and analyzing multidomain dynamic systems. Its primary interface is a graphical block diagramming tool and a customizable set of block libraries.
ISAE-SUPAERO (www.isae.fr) Toulouse/France
2015-2016
Static analysis, Embedded systems, Real time systems, Robotics...
INP-ENSEEIHT (www.enseeiht.fr) Toulouse/France
2013-2016, Ranked top 10
3-years leading to a Software Engineering Diploma. Courses work includes: Computer architectures, Real time systems, Synchronization, Network, Database, Object Oriented Programming, Functional programming.
Lycée Reda Slaoui Agadir/Morocco
2011-2013, Obtaining an Award of Excellence from Moroccan government.
Two-year undergraduate intensive courses in Mathematics and Physics, leading to competitive nationwide exams for entrance to state-run graduate engineering schools.
Lycée El-Bakali (secondary school) Ait Melloul/Morocco
2011, Ranked 1st in my city.
Java, C, Ada, OCaml, Lustre, Matlab, J2EE, Python, ...
UML, SysML, SCADE, SIMULINK, Ptolemy
Abstract interpretation, Model checking, symbolic execution ...