Younes Mouhib

MSc student in Mathematics
Department of Mathematics, ETH Zürich

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

Portrait of Younes Mouhib

From September 2026 I am pursuing graduate quantitative roles in industry — systematic trading, commodity and energy markets — alongside potential PhD opportunities.

Younes Mouhib in a hammock at Trübsee, Switzerland
Trübsee, Switzerland
Publications & Preprints
[1]
One-Weight Colorings, the Symmetric Class, and Lower Bounds for Hales–Jewett Numbers
Y. Mouhib
Preprint · arXiv:2607.02226 [math.CO], 2026 · single author
[2]
Improved Lower Bounds for the Hales–Jewett Numbers via Symmetric Colorings
Y. Mouhib, L. Halbeisen
Preprint · arXiv:2606.22155 [math.CO], 2026

Both works consolidate and extend the MSc thesis. Code and colouring certificates: github.com/ysmouhib/hj-certificates.

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
Contact

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