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