Welcome to my personal webpage! I’m excited to announce this first post!
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.
A smart contract language based on Vyper with information flow for Ethereum. Joint work with Siqiu Yao, Ethan Cecchetti and Andrew C. Myers
A correct-by-construction blockchain protocol implementation.
A lightweight consensus protocol simulator that enables easy building and testing of consensus protocols. Joint work with Chujun Song.
This guy hasn’t managed to get anything with his name published yet.