I'm currently Scientific Researcher in computer science at IRT Railenium, Villeneuve d'Ascq, France. I work on the Railway Systems and Formal Methods.

I was a Scientific Researcher (Post-Doc) at Institut Mines-Télécom / Télécom SudParis ("Computer Science" department) at research unit SAMOVAR (Distributed Services, Architectures, Modelling, Validation and Network Administration) UMR 5157 INT CNRS Research Laboratory / METHODES team with Paul GIBSON.

Since Decembre 2015, I am a Ph.D. in computer sciences. My Ph.D. has been graduated in the research team PaMDA at the LIFO (University of Orléans, France), under the supervision of Sébastien LIMET and Sophie Robert.
Topic: A component-based approach for interactive visual analysis of numerical simulation results.

  • Software Engineering
  • Railway Systems
  • Component-based Software Engineering
  • Service-based Software Engineering
  • Model-driven Engineering
  • Software Product Lines
  • Formal Methods
  • Fomal Verification
  • Dynamic Reconfiguration
  • Quality of Service
  • Privacy
  • Access Control

Email: abderrahim.aitwakrime(at)gmail.com
Phone: +33 6 01 38 47 48

Web:   http://www.awakrime.fr