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)