
Education
Work Experience
-
UTRA Fellow. Working on systems for ML research.
-
Linux (Summer 2025)
-
Systems, Platform Engineering, Information Security (Summer 2024)
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 |