alt text


I am a first-year PhD student in the Department of Computer Science at Cornell University. I work with Adrian Sampson in the Computer Architecture and Programming Abstractions research group. 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 then spent 2 years engineering health software at Apple. My research interests include programming languages, formal methods, distributed systems, and computer science education. CV




Cornell University

Brown University