Talks and presentations
Newest first.
2026
Lean and the New Era of Verified Intelligence
YC Paper Club.
2025
Program Verification using Lean
Amazon.
2025
AI4Science
FirstPrinciples.
2025
Verified Mathematical Reasoning with Lean and Language Models
ICERM, Brown University.
2024
Machine Learning in Function Spaces
NASA JPL.
2024
Foundational Models for PDEs
Scientific Foundation Models, University of Michigan.
2024
Foundational Models for PDEs
Multi University Research Initiative, Caltech.
2024
CoDomain Attention Neural Operator
AI + Science, University of Chicago.
2022
Summer School in Logic and Formal Epistemology
Carnegie Mellon University.
2021
International Undergraduate Summer Enrichment Program
University of Alberta.
2021
Alberta Number Theory Days XIII
Banff International Research Station for Mathematical Innovation and Discovery.
2020
Western Summer School in Algebra
University of Alberta.
Reviewer service
Selected service and reviewing.