I am a PhD student in Computer Science at Cornell University. Prior to coming to Cornell, I worked for six years as a Software Engineer at Facebook. During my time at Facebook, I worked on some of the world’s largest software systems. I discovered that modern software development practices are not sophisticated enough to build and reason about these systems, so I experiemented with new techniques. I built large scale systems using dependently typed Haskell and formally verified concurrent algorithms using Coq.
Through my research, I hope to bring about a new generation of software development techniques in order to meet the scale of today’s massive systems.
Download my CV.
PhD, Computer Science, in progress
BSE, Computer and Information Science, 2015
University of Pennsylvania