Hanen Ochi

Hanen a obtenu son doctorat en informatique de l’Université Paris 13 en décembre 2015. Elle a ensuite occupé un poste d’associé d’enseignement et de recherche à l’Institut Galilée (établissement d’enseignement) et au LIPN (laboratoire d’informatique de l’Université Paris-Nord). Après cela, elle été ingénieur R & D dans le Big Data et a travaillé sur différents projets d’innovation (voitures autonomes, analyse prédictive, analyse d’opinions,…). 

Hanen travaille actuellement sur la combinaison de sa double compétence dans l’analyse de processus par modèle avec des données – une analyse orientée en mélangeant les algorithmes de science des données avec des techniques de vérification formelles pour relier les données à l’analyse de processus. Sa recherche porte sur le développement d’approches principales pour l’analyse de données, l’extraction de données et la vérification formelle, ainsi que sur leur application à divers domaines, notamment l’extraction de processus, les soins de santé, l’architecture orientée services, etc. 

• Vérification formelle
• Analyse de processus basée sur un modèle
• Analyse des services
• L’analyse des données
• Outils d’aide à la décision
• Intelligence artificielle

• Bases de données avancées (M1)
• Mégadonnées (M1/M2)
• Algorithmes et langages de programmation :Python/JAVA/C(L3)
• Systèmes d’exploitation

Lien vers HAL – https://hal.science/search/index/?q=*&authIdPerson_i=1173555 

Lien vers ORCID – https://orcid.org/0000-0002-6364-1302