alt text

About

I will be starting as an Assistant Professor of Computer Science at Wellesley College in Fall of 2023!

I am a final-year PhD candidate in the Department of Computer Science at Cornell University and an NSF GRFP fellow. I work with Adrian Sampson in the Computer Architecture and Programming Abstractions research group. My research interests span programming languages and systems, with a special affinity for applied formal methods. I like systems that use solver-aided reasoning to make it easier for developers to trust their low-level code. I work on Diospyros, a compiler that uses equality saturation to find vectorization for energy-efficient hardware, and the Kani Rust Verifier, a bit-precise verifier for sequential Rust code.

Recently, I have been contributing to verification efforts for ISLE, a term-rewriting language for instruction lowering within Cranelift (a native code generator for Wasmtime and an alternative backend for Rust).

I completed my bachelor’s at Brown, where I worked on some projects using modeling tools and refinement types. I spent two years at Apple engineering health software for the iPhone and Apple Watch.

My CV.

News

Publications

Conference Papers

Short Papers

Recorded Talks

Teaching

Cornell University

Brown University

Service