Montreal · Canada
arXiv:2608.02675 · math.CO · August 2026
arXiv:2512.06203 · December 2025 · with Naman Gupta
Trust-minimized IBC interoperability between Cardano and Cosmos, built in Rust.
An open-source Polymarket client for Rust with more than 200 GitHub stars.
arXiv:2608.02675 · math.CO · August 2026
A reproducible computer-assisted result proving that every simple cubic bipartite graph on at most 58 vertices contains a cycle of length 4, 8, or 16. Consequently, any cubic-bipartite counterexample to the Erdős-Gyárfás conjecture has at least 60 vertices. The reproducibility artifact was published on GitHub on July 29, 2026.
arXiv:2512.06203 · December 2025 · with Naman Gupta
Formal state-machine models for concentrated-liquidity automated market makers and their core transitions.
Protocol infrastructure
Trust-minimized IBC interoperability between Cardano and Cosmos, built in Rust.
Lead engineer · Rust, Cardano, Cosmos, IBCTrading infrastructure
An open-source Polymarket client for Rust with more than 200 GitHub stars.
Builder and maintainer · Rust, APIs, trading systemsEducation
Bachelors, Computer Science