$10 million Artificial Intelligence Mathematical Olympiad Prize appoints further advisory committee members - Seite 2

For more information on the AIMO Prize visit: https://aimoprize.com/o or the
competition page on Kaggle:
https://www.kaggle.com/competitions/ai-mathematical-olympiad-prize/

Advisory Committee member profiles:

D. Sculley

D. is the CEO at Kaggle. Prior to joining Kaggle, he was a director at Google
Brain, leading research teams working on robust, responsible, reliable and
efficient ML and AI. In his career in ML, he has worked on nearly every aspect
of machine learning, and has led both product and research teams including those
on some of the most challenging business problems. Some of his well-known work
involves ML technical debt, ML education, ML robustness, production-critical ML,
and ML for scientific applications such as protein design.

Kevin Buzzard

Kevin a professor of pure mathematics at Imperial College London, specialising
in algebraic number theory. As well as his research and teaching, he has a wide
range of interests, including being Deputy Head of Pure Mathematics, Co-Director
of a CDT and the department's outreach champion. He is currently focusing on
formal proof verification, including being an active participant in the Lean
community. From October 2024, he will be leading a project to formalise a 21st
century proof of Fermat's Last Theorem. Before joining Imperial, some 20 years
ago, he was a Junior Research Fellow at the University of Cambridge, where he
had previously been named 'Senior Wrangler' (the highest scoring undergraduate
mathematician). He was also a participant in the International Mathematical
Olympiad, winning gold with a perfect score in 1987. He has been a visitor at
the IAS in Princeton, a visiting lecturer at Harvard, has won several prizes
both for research and teaching, and has given lectures all over the world.

Leo de Moura

Leo is a Senior Principal Applied Scientist in the Automated Reasoning Group at
AWS. In his spare time, he dedicates himself to serving as the Chief Architect
of the Lean FRO, a non-profit organization that he proudly co-founded alongside
Sebastian Ullrich. He is also honoured to hold a position on the Board of
Directors at the Lean FRO, where he actively contributes to its growth and
development. Before joining AWS in 2023, he was a Senior Principal Researcher in
the RiSE group at Microsoft Research, where he worked for 17 years starting in
2006. Prior to that, he worked as a Computer Scientist at SRI International. His
research areas are automated reasoning, theorem proving, decision procedures,
SAT and SMT. He is the main architect of several automated reasoning tools:
Lean, Z3, Yices 1.0 and SAL. Leo's work in automated reasoning has been