Paul Lessard (Preferred)
Paul Lessard
Principal Researcher, Symbolica AI
Joined
February 2024
Names
Emails
****@symbolica.ai (Confirmed)
****@colorado.edu
****@gmail.com
Personal Links
Career & Education History
Principal Researcher
Symbolica AI (symbolica.ai)
2023 – Present
Postdoc
Mathematics, Macquarie University (mq.edu.au)
2019 – 2021
PhD student
Mathematics, University of Colorado at Boulder (colorado.edu)
2012 – 2019
Advisors, Relations & Conflicts
Postdoc Advisor
Steve Lack
2019 – 2021
PhD Advisor
Jonathan Wise
2012 – 2019
Expertise
Type Theory
2016 – Present
Category Theory
2015 – Present
Homotopy Theory
2012 – Present
Publications
No publications