Work Experience
-
Summer 2025
-
Platform Engineering (Summer 2024)
-
Developed ClickMe, a platform to collect and process object recognition data for AI research. Scaled it to handle over a million images and deployed it with Docker on Google Cloud TPUs.
-
Maintaining and developing software for the CS department while providing technical support for students and faculty. Worked on various projects including enforcing hardware authentication, resolving VPN security bugs, and improving the Brown CS student experience.
Latest Blog Posts
| Jan 16 2025 | OCaml Game Engine: ECS |
| Dec 14 2024 | Formalizing Axiomatic Set Theory in Lean |
| May 15 2024 | Proving Graph 3-Coloring with Go and Zero-Knowledge Proofs |