I am a second year PhD student at Cornell University in the Department of Computer Science, co-advised by Greg Morrisett and Robbert van Renesse. My research spans the theory, design, implementation, and verification of blockchain protocols and systems.
I am also a competitive programming veteran (ACM, GCJ & FHC Finalist), currently head coach of Cornell ACM. Before joining Cornell, I was a contestant then a coach at SJTU ACM. My contest ID is TankEngineer.
This guy hasn’t managed to get anything with his name published yet.
A lightweight consensus protocol simulator that enables easy building and testing of consensus protocols. Joint work with Chujun Song. Advised by Robbert van Renesse.
A fast and flexible virtual machine for smart contracts based on JVM. Joint work with Siqiu Yao.
A correct-by-construction blockchain protocol implementation. Advised by Greg Morrisett and Robbert van Renesse.
A smart contract language based on Vyper with information flow for Ethereum. Joint work with Siqiu Yao, Ethan Cecchetti. Advised by Andrew C. Myers