Hanen Ochi, Enseignante-chercheur à Efrei - Efrei

Ce module a été développé afin de rendre le site Efrei accessible au plus grand nombre.

Si malgré notre vigilance, vous rencontriez le moindre problème d’accessibilité sur notre site, n’hésitez pas à nous contacter à l’adresse site-groupe@efrei.fr ou par téléphone au +33 188 289 000.

Hanen OCHI Enseignant-chercheur
& Responsable de majeure

 

BIO

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

Je travaille actuellement sur la combinaison de ma 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. Ma 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.

INTERESTS & PROJECTS

FIELDS OF INTEREST

  • Formal Verification
  • Model-based process Analysis
  • Services Analysis
  • Data Analysis
  • Decision aid tools
  • Artificial Intelligence

LECTURE PROGRAM

  • Advanced Databases (M1)
  • Big Data (M1/M2)
  • Algorithms & programming languages: Python/JAVA/C(L3)
  • Operating systems

PUBLICATIONS

  • Kais Klai and Hanen Ochi. Checking compatibility of web services using sogs. In 2012 IEEE 19th International Conference on Web Services
    (ICWS), Honolulu, HI, USA, June 24-29, 2012, pages 670–671, 2012.
  • Kais Klai and Hanen Ochi. Modular verification of inter-enterprise business processes. In eKNOW, pages 155–161, 2012.
  • Kais Klai and Hanen Ochi. Checking compatibility of web services behaviorally. In FSEN, pages 267–282, 2013.
  • Kais Klai and Hanen Ochi. A bottom-up approach to check the correctness of interorganisational workflows. In 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015, pages 7–14, 2015
  • Kais Klai and Hanen Ochi. LTL model cheking of service-based business processes in the cloud. In 39th Annual Computer Software and Applications Conference, COMPSAC Workshops 2015, Taichung, Taiwan, July 1-5, 2015, pages 398–403, 2015.
  • Kais Klai and Hanen Ochi. A formal approach for service composition in a cloud resources sharing context. In To appear in 16th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing, CCGrid 2016, 2016.
  • Kais Klai and Hanen Ochi. Model checking of composite cloud services. In IEEE International Conference on Web Services, ICWS 2016, San Francisco, CA, USA, June 27 – July 2, 2016, pages 356–363, 2016.
  • Kais Klai, Hanen Ochi, and Samir Tata. Formal abstraction and compatibility checking of web services. In ICWS, pages 163–170, 2013.
  • Kais Klai, Samir Tata, and Hanen Ochi. Generic and specific compatibility criteria for web service composition : Formal abstraction and modular verification approach1. Int. J. Web Service Res., 9(4) :45–68,2012.