2026 Topological EntropyNorthwestern Math DepartmentSpring 2026 slides [pdf] L3: A Linear Language with LocationCS 324 Class PresentationSpring 2026 slides [pdf] Deductive Proof vs. Model CheckingNorthwestern Undergraduate Research ExpoSpring 2026 slides [pdf] 2025 AI-Assisted Theorem Proving in LeanIDEAS LabSummer 2025 slides [pdf]