Younes Mouhib

MSc Mathematics, ETH Zürich (2026)
Department of Mathematics, ETH Zürich

I completed my MSc in mathematics at ETH Zürich in August 2026. I work in combinatorics, with a focus on Ramsey theory and computer-assisted proofs of extremal bounds.

younes.mouhib@hotmail.fr Google Scholar arXiv ORCID GitHub LinkedIn
CV (PDF)
Portrait of Younes Mouhib

My research is in extremal combinatorics and Ramsey theory, with computer-assisted proofs of extremal bounds. My MSc thesis (advisor: Prof. Dr. Lorenz Halbeisen, grade 6/6) established record lower bounds HJ(3,3) ≥ 22 and HJ(4,2) ≥ 14 for the Hales–Jewett numbers, via an exact symmetry reduction and SAT-based search — with every certificate re-verified by dependency-free, hand-auditable code.

I am currently preparing these results for journal submission and seeking PhD opportunities in combinatorics. Manuscripts and reports: MSc thesis (PDF) · semester project (PDF) · bachelor thesis (PDF).

Younes Mouhib in a hammock at Trübsee, Switzerland
Trübsee, Switzerland
Education
MSc Mathematics — ETH Zürich Final grade 5.2/6 · master's thesis 6.0/6. Coursework: Network & Integer Optimization · Structural Graph Theory · Graph Theory · Algebraic Methods in Combinatorics · Algebraic Topology.
Sept 2023 – Aug 2026
BSc Mathematics — EPFL Coursework: Measure & Integration · Ergodic Theory · Stochastic Processes · Discrete Optimization. Bachelor thesis 5.5/6: On the Subadditive Ergodic Theorem and Its Applications.
Sept 2018 – Jul 2023
Classes préparatoires MPSI/MP* — Lycée Masséna, Nice
2016 – 2018
Publications & Preprints
[1]
Lower Bounds for the Hales–Jewett Numbers via Symmetric and One-Weight Colorings
Y. Mouhib
Preprint · arXiv:2606.22155 [math.CO], 2026 · 46 pp.
abstract PDF HTML certificates explorer

This work consolidates and extends the MSc thesis. Code and colouring certificates: github.com/ysmouhib/hj-certificates (archived: DOI 10.5281/zenodo.21537624).

Projects
hj-certificates — SAT encoders & standalone verifiers Every thesis bound re-derived by a dependency-free check; CI-verified, reproducible in seconds.
2025 – 2026
Momentum strategy research — cost-aware backtesting Fees & slippage on every fill, next-bar entries, worst-case tie-breaks; walk-forward validation reporting out-of-sample results only.
2026
Brigade — multi-agent LLM system, formally verified Agents propose, an independent Lean 4 verifier alone accepts — a model-validation architecture for AI output.
2024 – Present
Hales–Jewett Explorer — interactive thesis companion Live 2D/3D grids and line families; every counter machine-checked in the browser.
2026
Teaching Experience
Course instructor (PVK-Leiter), Topology VSETH, ETH Zürich — Zürich, Switzerland
June 2026
Homework tutor (grades 9–11) Collège Villamont & Collège St-Roch — Lausanne, Switzerland
July 2021 – Jan 2023
Student mentor EPFL — Lausanne, Switzerland
Sept 2020 – Feb 2021
Science promotion — Science Day in Thun EPFL — Thun, Switzerland
April 2022
Beyond Mathematics
Literature 300+ books read, mostly in French — favourite authors include Fyodor Dostoevsky, Alexandre Dumas, Alberto Moravia, Hermann Hesse, Knut Hamsun, Naguib Mahfouz and Taha Hussein.
Classical & flamenco guitar 10+ years of practice.
Martial arts 10+ years of practice.
Contact

Department of Mathematics, ETH Zürich · Rämistrasse 101, 8092 Zürich, Switzerland

younes.mouhib@hotmail.fr Google Scholar arXiv ORCID GitHub LinkedIn