Jonathan Dean Gallagher (Preferred)
Jonathan Gallagher
Jonathan Dean Gallagher
Researcher, N/A, HRL Laboratories
Joined
May 2023
Names
,
Emails
****@hrl.com (Confirmed)
Personal Links
Career & Education History
Researcher
N/A, HRL Laboratories (hrl.com)
2021 – Present
Postdoc
Math, Dalhousie University (dal.ca)
2019 – 2021
PhD student
Computer Science, University of Calgary (ucalgary.ca)
2012 – 2018
Advisors, Relations & Conflicts
Postdoc Advisor
Dorrette Pronk
2019 – Present
Expertise
Software verification
2014 – Present
Synthetic differential geometry
2014 – Present
Abstract differential geometry
2013 – Present
Differential programming
2012 – Present
Complexity theory
2012 – Present
Category theory
2011 – Present
Linear logic
2011 – Present
Type theory
2011 – Present
Machine learning
2011 – Present