LIPN : LCR

Page personnelle de Hanen Ochi

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 Bureau : B307 Tél : +33 1 49 40 28 26 Fax : +33 1 48 26 07 12 Courriel : 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

Dernière modification : mardi 22 novembre 2011

Contact pour cette page : Hanen.Ochi at lipn.univ-paris13.fr