Dawsen Hwang
Also known as 黃道生
Dawsen Hwang is a senior software engineer at Google DeepMind in Chicago and contributes to its mathematical-reasoning work. He won silver at the 2003 International Mathematical Olympiad and gold in 2004, then earned degrees at National Taiwan University and MIT. His 2018 research studied online resource allocation under partially predictable demand. At DeepMind, he contributed to AlphaGeometry 2 and the 2025 Gemini Deep Think IMO effort, and coauthored work on olympiad benchmarks, autonomous mathematical research, and formal proof.
- Now at
- Google DeepMind
- Works
- 14
- Citations
- 101
- h-index
- 4
- Badges
Publication numbers from OpenAlex, as of 19 October 2026.
Timeline
-
2003–2004
International Olympiad medals
He wins silver at the International Mathematical Olympiad in 2003 and gold in 2004.
-
2008–2016
From NTU to an MIT PhD
He earns an EECS bachelor's degree at National Taiwan University in 2008, a master's degree at MIT in 2011, and an EECS PhD at MIT in 2016.
-
2018
Online resource allocation
With Patrick Jaillet and Vahideh Manshadi, he proposes an online resource-allocation model that combines adversarial and stochastic arrivals in 2018.
-
2024
AlphaGeometry 2 contributions
He makes key contributions to AlphaGeometry 2; AlphaProof and AlphaGeometry 2 solve four of six 2024 IMO problems at silver-medal standard.
-
2025
Gemini Deep Think and IMO-Bench
Google DeepMind names him among the leads and key contributors to its IMO 2025 team, whose Gemini Deep Think model reaches gold-medal standard. He coauthors “Towards Robust Mathematical Reasoning,” an IMO-level benchmark for mathematical reasoning in 2025.
-
2026
Aletheia and LEAP
He coauthors an Aletheia study of FirstProof; the Gemini 3 Deep Think math agent solves six of ten problems by majority expert assessment. He also coauthors LEAP, an agentic framework for automated formal theorem proving with Lean, in 2026.
-
As of October 2026
Senior engineer at DeepMind
At Google DeepMind in Chicago, he is a senior software engineer as of October 2026.
Career
- Since 2026Google DeepMindSenior software engineer
Education
- 2016Massachusetts Institute of TechnologyEECS PhD
- 2011Massachusetts Institute of TechnologyMaster's degree
- 2008National Taiwan UniversityEECS bachelor's degree
Most-cited works
- Online Resource Allocation Under Partially Predictable Demand
- Online scheduling with multi‐state machines
- Distributed Multi-Depot Routing without Communications
- Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erdős ProblemsWith Quoc Le
- Towards Autonomous Mathematics ResearchWith Demis Hassabis, Heng-Tze Cheng, Koray Kavukcuoglu and Quoc Le
Sources and credits
Photo: We have no published photo of Dawsen Hwang yet. Send us a free-licensed photo.
- Home | Dawsen Hwang
- Google Displays IMO Gold Medalist Team Photo, Circles Members' Contact Info, Unfazed by Poaching
- Jaillet-Current Research
- Online Resource Allocation under Partially Predictable Demand
- AI solves IMO problems at silver-medal level
- Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad
- IMO-Bench: Towards Robust Mathematical Reasoning
- Aletheia tackles FirstProof autonomously
- LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks


