Dr. Zakaryae BOUDI

Data science expert
Image
Dr. Zakaryae BOUDI

Biography

Zakaryae Boudi is the founder and CEO of TrouveTaVoie, an innovative company at the intersection of labor market information and human capital planning that leverages artificial intelligence (AI) and big data. Previously, he collaborated with international teams on a variety of economic, social, and digital issues. In particular, as part of his work with the International Union of Railways, Zakaryae developed and managed the digital and technological transformation of a major program focused on talent and skills development, including the creation of an international statistical system for benchmarking emerging skills.

Zakaryae has a background in engineering, holds a degree from Sciences Po Paris with a specialization in economic development, and has conducted research as part of his doctoral thesis, which focuses on AI control using formal mathematics.

Education & Degrees

YearUniversityDegree/Position
2021    Mohammadia School of Engineering, Morocco    Doctoral Dissertation: “Verification of Graph-Based AI Systems Using Formal Methods”
2017Sciences Po Paris    Executive Master's in "Development Policy and Management (Focus on Africa)"
2014Mohammadia School of Engineering, Morocco    Engineering Degree

Professional experience

YearFunction
2021 – Present   Associate Professor aivancity
2018 – Present    President of TrouveTaVoie, Paris and Casablanca
2018    International Consultant at the International Union of Railways (UIC)
2017–2019    Head of Economic Development and the Africa Region at the International Union of Railways (UIC)
2015–2017    Project Manager at ClearSy
2014–2015    Project Manager at IFSTTAR

Publications

  • Boudi, Z., Wakrime, A. A., Toub, M., & Haloua, M. (June 2020). Building Valid Career Ontologies with B-CPNs. In International Conference on Smart Applications and Data Analysis (pp. 33–46). Springer, Cham.
  • Bah, M. O., Boudi, Z., Toub, M., Wakrime, A. A., & Aniba, G. (January 2021). Formalizing Ontologies for AI Models Validation: from OWL to Event-B. In 2021 IEEE 15th International Conference on Semantic Computing (ICSC) (pp. 455–462). IEEE.
  • Boudi, Z., Wakrime, A. A., Dutilleul, S. C., & Haloua, M. (May 2019). Introducing B-Sequenced Petri Nets as a CPN Subclass for Safe Train Control. In ENASE (pp. 350–358).
  • Boudi, Z., Wakrime, A. A., Collart-Dutilleul, S., & Haloua, M. (October 2018). Petri Nets to Event-B: handling mathematical sequences through an ERTMS L3 case. In International Conference on Model and Data Engineering (pp. 50–62). Springer, Cham. New Trends in Model and Data Engineering. MEDI 2018. Communications in Computer and Information Science, vol. 929. Springer, Cham.
  • Boudi, Z., Ben-Ayed, R., Collart-Dutilleul, S., Nolasco, T., & Haloua, M. (2017). A CPN/B method transformation framework for the formal validation of railway safety rules. European Transport Research Review, 9(2), 13.
  • “Developing a railway workforce of all talents.” Railway Gazette International, November 2016 issue, Training & Skills section
  • “Revitalizing Rail in Africa.” Letter from the Eurafrican Talks; “Making Railway PPPs Bankable? An Emphasis on Capacity Building.” Public Note

See also