About Me

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.

Education2
  • Exchange program between engineering schools in France

    ISAE-SUPAERO (www.isae.fr) Toulouse/France

    2015-2016

    Static analysis, Embedded systems, Real time systems, Robotics...

  • Computer science and applied mathematics

    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.

  • Preparatory classes, Mathematics and Physics

    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.

  • High School diploma with major in Mathematics, first class honors

    Lycée El-Bakali (secondary school) Ait Melloul/Morocco

    2011, Ranked 1st in my city.

  • Computer skills
    • Programming languages

      Java, C, Ada, OCaml, Lustre, Matlab, J2EE, Python, ...

    • Modeling tools

      UML, SysML, SCADE, SIMULINK, Ptolemy

    • Formal methods

      Abstract interpretation, Model checking, symbolic execution ...

Let's Work Together!

Projects

These are some open source projects that I am currently involved in.