I'm passionate about building robust, mathematically-sound software systems.
- Programming Paradigms: Functional programming, type-driven development
- Formal Methods: Category theory, type theory, formal verification
- Programming Languages: Language design and implementation
- AI & Machine Learning: Applied machine learning, AI safety
Connect with me:
Open to collaboration on projects involving programming languages, formal verification, and AI research.





