Hugh James Leather (Preferred)
Hugh James Leather
Researcher, Axiom
Joined
May 2021
Names
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
Publications
Co-Authors
- Alex Gu
- Ali Shameli
- Amila Silva
- Amro Kamal Mohamed Abbas
- Anas Mahmoud
- Ari S. Morcos
- Armando Solar-Lezama
- Baptiste Roziere
- Bartosz Piotrowski
- Benoit Steiner
- Chris Cummins
- Chris Lengerich
- Francois Charton
- Gabriel Synnaeve
- Jiadong Guo
- Kevin Stone
- Leopold Haller
- Manooshree Patel
- Marc Szafraniec
- Mostafa Elhoushi
- Newsha Ardalani
- Patrick Labatut
- Pengtao Xie
- Sida Wang
- Spencer Whitehead