2017 - 2018

  • Formal verification (M2)
  • Systems Engineering (M1 & M2)
  • Software Enginnering
  • C Programming and Operating Systems (M1)

2016 - 2017

  • Systems Engineering (M1 & M2)
  • Software Engineering
  • C Programming and Operating Systems (M1)
  • Python Programming (L3)

2015 - 2016

  • Systems Engineering (M2)
  • Software Modeling (M1)
  • C Programming and Operating Systems (M1)
  • Python Programming (L3)

2008 - 2011

  • Programming Languages
  • Advanced C Programming
  • Human/Computer Interface
  • Certificat informatique et internet