Education

The University of Chicago
B.S./M.S. in Computer Science, June 2025 Thesis topic: formal verification of Arrow’s impossibility theorem in Agda. Code here.

Experience

Software Development Engineer, Amazon, July 2025-present

Software Engineer, ProDex Labs, May 2025-July 2025

Software Intern, Walmart, June 2024-August 2024

Lincoln-Douglas Coach, Debate Drills, August 2022-present

Lincoln-Douglas Debate Coach, Scarsdale High School, August 2021-August 2022

Instructor, Victory Briefs Institute, August 2021

Instructor, National Symposium for Debate, June-July 2021; June-July 2022

Skills

Proficient in: Java, Python, C, Git, GitHub, SVN, HTML, CSS, Jekyll, Rust, Haskell