Nate Kushman
Nate Kushman is a research scientist at Google DeepMind in London whose work connects program synthesis, mathematical reasoning, and AI for code. At MIT, he led a 2014 paper on translating algebra word problems into equations and completed a 2015 PhD with Regina Barzilay as one of his thesis advisors. By April 2017, he was a researcher at Microsoft Research Cambridge; he coauthored TerpreT and Neural Program Lattices there. His later work included PixelDefend for adversarial images, a 2020 method for robust multi-view representations, AlphaCode, and studies of feedback for mathematical reasoning. He contributed to Google DeepMind teams behind Gemini Deep Think's gold-medal-level results at the 2025 IMO and ICPC; his Deep Think team's work also underpinned a Gemini-based Paper Assistant Tool for STOC 2026.
- Now at
- Google DeepMind
- Works
- 43
- Citations
- 5,056
- h-index
- 23
- Badges
Publication numbers from OpenAlex, as of 22 October 2026.
Timeline
-
2007
R-BGP for Internet resilience
In 2007, he coauthors R-BGP, which precomputes failover paths so Internet domains stay connected after link failures.
-
2014–2015
Algebra problems and an MIT PhD
In 2014, he leads a paper on solving algebra word problems by translating natural language into formal equations. In 2015, he completes an MIT PhD with Regina Barzilay as one of his thesis advisors and writes a dissertation on generating computer programs from natural-language descriptions.
-
2016–2017
TerpreT and Neural Program Lattices
By April 2017, he is a researcher at Microsoft Research Cambridge in its Machine Intelligence and Perception group. He coauthors TerpreT in 2016, a domain-specific language for expressing program synthesis problems. Neural Program Lattices uses a neural network to compose low-level programs into high-level programs in 2017.
-
2018
PixelDefend against adversarial images
In 2018, he coauthors PixelDefend, which purifies adversarial images by moving them toward the training-data distribution before an unmodified classifier processes them.
-
2020
A multi-view information bottleneck
In 2020, he coauthors Learning Robust Representations via Multi-View Information Bottleneck, which extends representation learning to an unsupervised setting with paired views and removes information that the views do not share.
-
2022
AlphaCode and math feedback
In 2022, he coauthors AlphaCode, which achieves an average rank in the top 54.3% of Codeforces contests with more than 5,000 participants. A second 2022 study of math word problems finds that correct reasoning steps need process-based supervision or learned reward models that emulate it.
-
2025
Gemini at the IMO and ICPC
In July 2025, he is named among the leads and key contributors of Google DeepMind's IMO team, whose Gemini Deep Think model solves five of six problems and earns 35 points, a gold-medal-level result. In September 2025, he contributes foundational research for Gemini 2.5 Deep Think's ICPC World Finals run, which solves 10 of 12 problems and would rank second among university teams.
-
As of October 2026
Research scientist at DeepMind
He is a research scientist at Google DeepMind in London as of October 2026. For STOC 2026, a Gemini-based Paper Assistant Tool provides theoretical computer scientists with automated feedback on submission papers, building on Deep Think team work that includes him.
Career
- Since 2022Google DeepMindResearch Scientist
- 2018Microsoft ResearchResearcher
- 2016–2018Microsoft
Education
Most-cited works
- Competition-level code generation with AlphaCodeWith Cyprien de Masson d’Autume, Julian Schrittwieser, Koray Kavukcuoglu, Nando de Freitas, Oriol Vinyals and Po-Sen Huang
- Gemini: A Family of Highly Capable Multimodal ModelsWith Angeliki Lazaridou, Anja Hauth, Clemens Meyer, David Silver, Emily Pitler and Fabio Viola
- PixelDefend: Leveraging Generative Models to Understand and Defend against Adversarial ExamplesWith Sebastian Nowozin
- Learning to Automatically Solve Algebra Word ProblemsWith Luke Zettlemoyer and Regina Barzilay
- Learning to Solve Arithmetic Word Problems with Verb CategorizationWith Oren Etzioni
Sources and credits
Photo: We have no published photo of Nate Kushman yet. Send us a free-licensed photo.
- R-BGP: Staying Connected in a Connected World
- Computer system automatically solves word problems
- Nate Kushman Home Page
- TerpreT: A Probabilistic Programming Language for Program Induction
- Neural Program Lattices
- Isabelle Lorge
- PixelDefend: Leveraging Generative Models to Understand and Defend against Adversarial Examples
- Learning Robust Representations via Multi-View Information Bottleneck
- Competition-Level Code Generation with AlphaCode
- Solving math word problems with process- and outcome-based feedback
- Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad
- Gemini achieves gold-medal level at the International Collegiate Programming Contest World Finals
- Gemini-backed Paper Assistant Tool provides automated feedback for theoretical computer scientists at STOC 2026



