Pôle
S2ET
Fonction
Enseignant-chercheur
Adresse postale
NC
Téléphone
NC
Département
NC
Parcours
2007 - 2011
Doctor of Philosophy (Ph.D.), Computer sciences, Université de Franche-Comté, Contributions to the formal verification of object-oriented software components reuse
2005 - 2007
Master's degree, Computer Sciences (Software: Formal Methods and Engineerin), Université de Lorraine
2004 - 2005
Bachelor's degree, Computer Sciences, Université de Lorraine
2002 - 2004
Undergraduate degree, Applied Computer Sciences , École Nationale d'Ingénieurs de Carthage (ENICarthage)
