hooyoung chung

Speaking appearances

• SF Formal Math with Lean 2026-06-02 — San Francisco
• MathYouF Office Hours: Consult three oracles on a sliding scale of disagreeableness [public] 2024-08-13 — San Francisco