LIPN: LCR

Hanen Ochi's Home Page

Hanen Ochi Laboratoire d'Informatique de Paris-Nord UMR CNRS 7030 Institut Galilée - Université Paris-Nord 99, avenue Jean-Baptiste Clément 93430 Villetaneuse France Office: B307 Phone: +33 1 49 40 28 26 Fax:     +33 1 48 26 07 12 E-mail: Hanen.Ochi at lipn.univ-paris13.fr

Ma formation

Je suis actuellement en thèse au sein de l'équipe LCR du LIPN (axe de recherche Spécification et Vérification ; mon sujet de thèse porte sur la Modélisation Abstraction et Vérification de Procédés Inter-Entreprises, sous la direction deLaure Petrucci et Kais Klai.

• Octobre 2011- Octobre 2014 : Allocataire de recherche/moniteur à l'université Paris Nord
• 2010-2011 : Master de recherche génie logiciel à l'Institut supérieur d'informatique(ISI) à Tunis
• 2010 : Ingéniorat en informatique à l'Institut Supérieur d'Informatique à Tunis

Articles & Exposés

Conférences

Enseignements

Hobbies

• voyage
• lecture

Last modified: Tuesday 22 November 2011

Contact for this webpage: Hanen.Ochi at lipn.univ-paris13.fr