Work Experience
-
Summer 2025
-
Platform Engineering (Summer 2024)
-
AI and object recognition research
Latest Blog Posts
Dec 14 2024 | Formalizing Axiomatic Set Theory in Lean |
May 15 2024 | Proving Graph 3-Coloring with Go and Zero-Knowledge Proofs |
Mar 20 2024 | Isomorphism Classes of S-Decorated Simple Graphs |