Talks
Documented academic talks and activities.
Talks and activities
Mathematics, formalization, and reasoning
Documented academic talks and educational activities. Links are included only where approved public materials exist.
Featured talk
When Proof No Longer Means Understanding
New York University Abu Dhabi
No slides, recording, or supporting materials are linked at this time.
Academic activities
Earlier documented activity
-
∞-type Café Summer School — Lecturer
Three-lecture, six-hour online series on infinity categories and formal reasoning.
-
AI for Mathematics Seminar — Founder and Lecturer
Xi'an Jiaotong-Liverpool University. Organized and taught introductory Lean 4, type theory, and formalized-mathematics material.
-
Undergraduate Category Theory Seminar — Organizer and Lecturer
Xi'an Jiaotong-Liverpool University. Led a reading seminar based on Tom Leinster's Basic Category Theory.