Toronto, Ontario, Canada
PhD graduate from the University of Waterloo (2022) in computer science. Now interested in security, scaling, and formal methods for blockchain technologies.
Zircuit is a blockchain company building scalable and secure Ethereum infrastructure, including a zero-knowledge rollup with AI-powered security features and a growing ecosystem of applications such as Zircuit Finance. I lead protocol development and manage a distributed team of engineers across research, protocol, and infrastructure. I work on protocol architecture, zero-knowledge systems, AI integration, ecosystem partnerships, and technical strategy. I publish research, author protocol specifications, and help shape both Zircuit's architecture and vision.
Quantstamp is a blockchain security and research company that helps secure leading Web3 protocols through security audits, formal verification, protocol research, and cryptographic engineering. Led Quantstamp's Layer 2 and zero-knowledge initiatives, combining protocol research, security auditing, and client advisory work. Led security audits for rollups, zero-knowledge proof systems, cryptographic protocols, and blockchain scalability solutions. Served as principal investigator on multiple Ethereum Foundation and Zcash grants, published research, developed zero-knowledge circuits and verification tools, and contributed to advancements in blockchain scalability and security.
Created a translator from FORML, a requirements engineering language in development at the University of Waterloo, to Alloy, a first order logic language for SAT problems. The translator automatically added properties to check in order to detect feature interactions in models; this required the identification of potential feature interactions in FORML models.
Developed a simulator for the programming language SMV. Specifically, implemented non-deterministic choice for initializing variables as well as a visual trace of variables and their values during simulation.
Assisted in marking Linear Algebra I assignments.
Developed an Eclipse plug-in for JSCOOP, a simple concurrency extension to Java. Implemented a Java Pathfinder listener to work with JSCOOP code in order to verify JSCOOP programs.