Posts

Welcome to my personal webpage! I’m excited to announce this first post!

CONTINUE READING

Projects

VyperFlow

A smart contract language based on Vyper with information flow for Ethereum. Joint work with Siqiu Yao, Ethan Cecchetti and Andrew C. Myers

Project Ironwood

A correct-by-construction blockchain protocol implementation.

Project Edelweiss

A lightweight consensus protocol simulator that enables easy building and testing of consensus protocols. Joint work with Chujun Song.

Publications

This guy hasn’t managed to get anything with his name published yet.

Talks

(312) 749-2916
Jul 18, 2018 3:30 PM
601-819-9329
May 10, 2018 2:00 PM
System Lunch Paper Representation
Mar 30, 2018 12:00 PM