Donald Poindexter Jr (Preferred)
Donald Poindexter Jr
Undergrad student, Math, Stanford University
Joined
May 2026
Names
Emails
****@stanford.edu (Confirmed)
Personal Links
Career & Education History
Undergrad student
Math, Stanford University (stanford.edu)
2020 – 2027
Advisors, Relations & Conflicts
Expertise
LLMs
, theorem proving
, proof automation
, formalization
2025 – Present
formal verification
, interactive theorem proving
, Lean
, proof assistants
2024 – Present
programming languages
, type theory
, functional programming
, formal methods
2024 – Present
CS education
, mathematics education
, learning tools
2019 – Present
Publications
No publications