Projects & Research
Projects
AESend
End-to-end encrypted messaging with no accounts, no passwords, just keys
SeatFinder
Course enrollment tracking for university students
Research
Compressibility of TFNP Reductions
Research on total search problems and proof complexity · Summer 2025
Regular Extensions of Half-Integral Choice Models
Combinatorial choice theory and hypergraph acyclicity · Fall 2024 - Winter 2025
Diametric Colorings in Ultrametric Spaces
Research on Ramsey Theory and Analysis · Summer 2024