Hugh James Leather

Researcher, Axiom

  • Joined May 2021

Names

Hugh James Leather (Preferred)

Emails

****@fb.com (Confirmed)
,
****@gmail.com (Confirmed)

Personal Links

Career & Education History

Researcher
Axiom (axiommath.ai)
2025 – 2026
 
Researcher
Facebook (fb.com)
2020 – 2025
 
Associate Professor
University of Edinburgh (ed.ac.uk)
2012 – 2022
 

Advisors, Relations & Conflicts

PhD Advisor
Michael O'Boyle
2006 – 2009
 

Expertise

Machine learning for compilers
2005 – Present