SymCE
4,707 false conjectures with executable verifiers that double as a reinforcement learning environment. Findings of EMNLP 2026.
Experience
Research experience
Student Research Collaborator, Inria Saclay, France, remote
Oct. 2025 to May 2026With Dr Oana Goga. NLP pipelines for detecting coordinated automated behaviour on social platforms, and for auditing recommender-system dynamics.
Student Research Collaborator, Birmingham Institute for Robotics, University of Birmingham, UK, remote
Sept. 2025 to June 2026With Prof. Samia Nefti-Meziani and Dr Shiv Katiyar. Surveyed neuro-symbolic architectures and built a taxonomy of them, then used language models to optimise domain-specific languages for symbolic reasoning. This work fed into the EMNLP 2026 paper.
NLP Research Intern, New York University Abu Dhabi, UAE, remote
July 2024 to Oct. 2024With Dr Riyadh Baghdadi. Trained code language models from scratch for code understanding. Reached 99% on operator prediction with full fine-tuning and over 95% with LoRA.
Physics-Informed ML Research Intern, Centre for Research in Astronomy, Astrophysics and Geophysics (CRAAG), Algiers
Jan. 2024 to Nov. 2024With Dr Lotfi Yelles Chaouch. Surrogate models for 3D magnetohydrodynamic solar magnetoconvection, reproducing radiative heating rates at R² > 0.99 against the numerical solver. The basis of my doctoral topic.
Quantum ML Research Intern, Constantine Quantum Technologies (CQTech)
Summers 2023 and 2024With Dr Taha Rouabah and Mohamed Messaoud Louamri. Quantum clustering: a survey of the literature, presented at the end of the internship.
Undergraduate Mathematics Researcher, Polymath Jr., online research programme
June 2023 to Aug. 2023With Ricardo Baptista (then Caltech) and Prof. Giulio Trigila (Baruch College, CUNY). Machine-learning formulations of the optimal transport problem.
Industry
Co-founder; leads the technical team, Sukai Labs, Algiers
Oct. 2025 to presentA software studio that builds its own AI products for Algerian businesses, among them Yahdare, an agent that answers customers in Darija.
Mobile and AI Engineer, freelance, Cyna, AlgeriaGoogle Play
June 2025 to Sept. 2025Built a printing company’s ordering app, shipped to Google Play, with print previews, image enhancement and a chatbot, and its website.
Data Science Intern, Technocolabs Software
Sept. 2023 to Nov. 2023Credit risk models for a peer-to-peer lending platform.
Teaching and mentoring
Reinforcement learning mentor, DevFest Algiers 2024Certificate
Oct. 2024Competitive programming mentor, ETCode Redemption 2k24
May 2024Machine learning mentor, MobAi national bootcamp, two editionsCertificate
Mar. 2024 and Feb. 2025Quantum computing instructor, ETC Quantum CornerCertificate
Nov. 2023 to Mar. 2024
Service and community
Co-founder, QAlgeria, a national quantum computing community
Oct. 2024 to presentEvent manager and organiser, Ai'Fest'23, ENSIA, a three-day AI festivalCertificate
June 2023IT manager, Google Developer Student Club, ENSIA
Sept. 2022 to July 2023
Projects
Research
AgrI Challenge
50,673 field images of six tree species, collected by twelve independent teams. arXiv preprint, 2026.
Classical Arabic poetry retrieval
Retrieving a classical Arabic poem from a half-remembered line. Under review, EACL 2027.
Industry and client work
Sukai Labs
The software studio I co-founded in Algiers. It builds its own AI products for Algerian businesses. I lead the technical team.
Yahdare
A Sukai Labs product: an AI agent that answers customers in Darija on Instagram, WhatsApp and Facebook. Launching soon.
Cyna app and website
Freelance, 2025: a printing company’s ordering app, with print previews, image enhancement and a chatbot, and its website.
Study and competitions
Aurora
Adaptive Arabic-English translation learning with reinforcement learning and LLM feedback. Best NLP Project, ENSIA 2024/2025.
Higgs-Helper
A retrieval assistant for particle physics: reads LaTeX equations and 4-vector notation, and translates ROOT C++ to Python.
OrdAI
Medical prescription analysis over 100k+ prescriptions. Top Data Mining Project, ENSIA 2023/2024.
Ising model simulation
A graphical Monte Carlo simulation of the Ising model.
Al-HaQ
Browser extension using quantum optimisation for misinformation detection. NYUAD Hackathon 2024.
Awards
Mathematics
- 1st place, Techno-Hub University Mathematics Competition, 2025Announcement Inter-university, proof-based: real analysis, abstract algebra, number theory.
- 1st place, National Mathematics Olympiad, 2021 No international team was sent that year.
- 1st place with a perfect score, Medea provincial proof-based mathematics competition Secondary school.
Computer science
- 1st place, QHack Quantum Coding Challenge, 2024Certificate 700+ teams worldwide; every challenge solved in 48 hours.
- 1st place, Impact of Code, 2023Certificate National competitive programming, 400+ participants.
- Huawei Seeds for the Future, 2024/2025Certificate Ranked 3rd in the national selection examination; 20 students selected.
Hackathons and innovation
- 1st place, COMPACT Datathon, 2024Certificate Stock portfolio optimisation.
- 1st place, Djezzy Hackathon, 2025
- 2nd place, Smart2gether, 2026 Algeria and Tunisia student innovation competition, HEC Alger and ESSECT Tunis.
Project awards, ENSIA
- Best NLP Project, ENSIA, 2024/2025 Aurora.
- Top Data Mining Project, ENSIA, 2023/2024Certificate OrdAI.
- Best Optimization Project, ENSIA, 2023/2024 Metaheuristics for optimization.
Skills
- Research
- Reinforcement learning with verifiable rewards (GRPO), reward design and shaping, programmatic and symbolic verification, SFT and LoRA fine-tuning, evaluation and calibration of language models, information retrieval.
- Mobile and web
- Flutter, React, Next.js, Firebase, Django, FastAPI, Laravel.
- Tools
- PyTorch, HuggingFace, FAISS, LangChain, NumPy, SciPy, Docker, Git.
- Programming
- Python, C/C++, Java, Kotlin, Dart, JavaScript, SQL.
- Languages
- Arabic (native), French (fluent), English (fluent).