PARIS
Après avoir obtenu mon diplôme d'ingénieur de l'ENSMA et avoir travaillé quelques temps en tant que tel, je me suis orienté vers l'informatique théorique fondamentale avec le MPRI.
J'ai commencé ma thèse de doctorat à l'ENS en octobre 2016.
Mes compétences :
Systèmes embarqués
Avionics
Programmation orientée objet
C++
Simulateur de vol
Aéronautique
Temps réel
Matlab/Simulink
JAVA
Synchronous Languages
Coq
OCaml