grok-video-3afde8d9-b96e-4c5f-857b-fd440a6e2bc4.mp4
CTO & Co-founder at ETO — building programmable liquidity infrastructure for real-world assets and modern capital markets.
I'm a Computer Science student at Drexel University, working across distributed systems, mechanism design, formal verification, and AI for strategic decision-making.
- Financial infrastructure: programmable markets, liquidity systems, asset issuance, pricing, and oracle integrations
- Systems engineering: distributed execution, high-performance backends, protocol design, and interoperable APIs
- Formal methods: verified compilers, executable specifications, and correctness-by-construction systems
- Applied research: mechanism design, poker AI, counterfactual value prediction, and strategic reasoning
-
ETO
Programmable financial infrastructure for issuing assets and building liquidity across private and public markets. I lead systems, market design, and engineering as CTO & co-founder. -
Solidus
A work-in-progress, formally verified compiler backend from Yul to EVM bytecode, implemented in Lean 4 with a machine-checked correctness theorem. -
strevm
A Go reference implementation of Streaming Asynchronous Execution for high-throughput block processing. -
Sigma-Go
Research on scaling laws for strategic reasoning and counterfactual value prediction in imperfect-information games. -
NANDA TypeScript SDK
A modular TypeScript framework for building MCP servers, with typed capabilities, middleware, and a plugin architecture.
- CTO & co-founder at ETO
- Secured a $50K foundation grant for ETO
- Filed a provisional patent for dynamic market-maker architecture
- Researching poker AI and counterfactual value prediction with the MIT Media Lab
- HackMIT winner and 2nd place ICPC regional
- Building and organizing at the intersection of markets, systems, and open-source infrastructure
Website · LinkedIn · X · Email
