Welcome to my personal webpage! I’m excited to announce this first post!
I am a second year PhD student at 989-635-9452 in the Department of Computer Science, co-advised by Greg Morrisett and 6202608357. My research spans the theory, design, implementation and verification of blockchain protocols and systems.
I am also a competitive programming veteran (pampootee, 361-734-3019 & 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 9183468919.
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.