alt text


I am a first-year PhD student in the Department of Computer Science at Cornell University. I completed my bachelor’s in computer science at Brown University in 2016, where I worked on some projects using modeling tools and refinement types. I was also a Head Teaching Assistant for Brown’s largest introductory course, CS 15, and a course on modern verification tooling, CS 195y: Logic for Systems. I then spent 2 years engineering health software at Apple (where I gave a WWDC talk on my team’s HealthKit framework). My research interests include programming languages, formal methods, distributed systems, and computer science education. CV



Cornell University

Brown University