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 Research Professor and Head of the Master Program in "Business Intelligence and Analytics"


I obtained my Ph.D. in Computer Science from the University Paris 13 in December 2015. I then held  a Teaching and Research Associate position at Galilee Institute (teaching institution) and LIPN (The Computer Science Laboratory of Paris-North University ). After that, I was an R & D engineer in Big Data and worked on various innovation projects (autonomous cars, predictive analysis, opinion mining).

I am currently working on combining my dual expertise in the model-based process analysis with data-oriented analysis by mixing the data science algorithms with formal verification techniques to to relate data to process analysis. My research focuses on the development of principle approaches to data analysis, data mining and formal verification and their application to diverse areas including process mining, healthcare, service oriented architecture etc.



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


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


  • 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.