CS PhD student, formal methods, distributed systems verification.

Prev: @MSFTResearch, @Apple, @AWS
Distributed systems @MongoDB
CS + Math @Cornell

ID: 307936248

linkhttps://will62794.github.io calendar_today30-05-2011 15:08:21