• 1998-1999 – DEA Informatique, Productique et Imagerie Médicale de l’Université Blaise Pascal (Clermont-Ferrand-63)
    « Étude et développement d’un micro-noyau en langage C, dédié, embarqué, réparti, temps-réel, adapté aux applications parallèles et tolérant aux fautes».
    Encadrement : Pr. Kun-Mean HOU