Projects & Research
Projects
notep4d.com
Instant URL to live collaborative notepad — real-time editing with anyone
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