Hanen OCHI
Assistant Professor and Head of Business Intelligence



Hanen OCHI
Assistant Professor and Head of Business Intelligence
  • Partager sur Twitter
  • Partager sur Facebook
  • Partager sur Linkedin
  • Partager sur Google+


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 a R & D engineer in Big Data and worked on various innovation projects (autonomous cars, predictive analysis, opinion mining..).

Actually I am working on combining my dual competence 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.

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


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