Work Experience
-
Summer 2025
-
Platform Engineering (Summer 2024)
-
AI and object recognition research
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 |