William Hart (Preferred)
William Hart
Joined
September 2025
Names
Emails
****@cam.ac.uk (Confirmed)
****@googlemail.com (Confirmed)
Personal Links
Career & Education History
Postdoc
Mathematics, University of Cambridge (cam.ac.uk)
2022 – 2025
Postdoc
Mathematics, Universität Kaiserslautern (uni-kl.de)
2013 – 2022
Postdoc
Mathematics, The University of Warwick (warwick.ac.uk)
2006 – 2013
Postdoc
Mathematics, University of Illinois at Urbana-Champaign (uiuc.edu)
2005 – 2006
Postdoc
Mathematics, Leiden University (leidenuniv.nl)
2004 – 2005
PhD student
Mathematics, Macquarie University (mq.edu.au)
2001 – 2004
Advisors, Relations & Conflicts
Postdoc Advisor
Timothy Gowers
2022 – 2025
Coauthor
Fredrik Johansson
2008 – 2025
Postdoc Advisor
Claus Fieker
2013 – 2022
Postdoc Advisor
John Cremona
2008 – 2013
Postdoc Advisee
Marco Streng
2010 – 2012
Coauthor
Andy Novocin
2008 – 2012
Postdoc Advisor
Samir Siksek
2006 – 2008
Coauthor
David Harvey
2006 – 2008
Postdoc Advisor
Peter Stevenhagen
2004 – 2005
PhD Advisor
Alf van der Poorten
2001 – 2004
Expertise
Theorem Proving
2022 – 2025
Computer Algebra
2006 – 2022
Number Theory
2001 – 2006
Publications
No publications