Omar Farouk Zouak

Education

Degrees

  1. PhD in Artificial Intelligence, National School of Artificial Intelligence (ENSIA), Algiers

    Sept. 2026 to present

    Admitted first in the national doctoral entrance examination (July 2026). Topic: ensemble methods for physics-informed machine learning.

  2. MSc in Artificial Intelligence and Data Science, National School of Artificial Intelligence (ENSIA), Algiers

    Sept. 2021 to July 2026

    Ranked 3rd in cohort. Five-year integrated programme leading to the MSc and the State Engineer's degree. Thesis: CE-RLVR: Internalizing Symbolic Reasoning in LLMs through Counterexample-Guided RLVR, the basis of the EMNLP 2026 paper.

  3. MSc in Management, School of Higher Commercial Studies (HEC Alger), Algiers

    Sept. 2024 to June 2026

    Taken in parallel, under a scheme open only to the highest-ranked ENSIA students.

  4. Baccalaureate in Mathematics, Medea

    June 2021

    Mention Excellent.

Master's thesis

CE-RLVR: Internalizing Symbolic Reasoning in LLMs through Counterexample-Guided RLVR. ENSIA, 2026. The basis of my first-author paper at Findings of EMNLP 2026. The paper and its findings

Selected coursework

Mathematics and theory
Complexity Theory · Mathematical Logic · Analysis 1, 2 and 3 · Algebra; Linear Algebra I and II · Probability and Statistics I and II · Numerical Methods and Optimisation · Operations Research · Stochastic Modelling and Simulation
Artificial intelligence
Reinforcement Learning · Natural Language Processing · Deep Learning · Machine Learning · Data Mining · High Performance Computing

Certifications

  1. Womanium Global Quantum Program, Womanium

    July to Sept. 2023

  2. Graduate QCourse 511-2: Quantum Computing and Programming, QWorld

    Sept. 2022 to Jan. 2023

  3. Google Data Analytics Specialization, Coursera and Google

    Dec. 2022

  4. Fundamentals of Deep Learning, NVIDIA

    Aug. 2022

Languages

Arabic (native), French (fluent), English (fluent).