alt text

About

I am on the academic job market for positions starting Fall 2023! I’m interested in academic positions with a roughly equal split between teaching (~2:2 load) and research. I do research in Programming Languages + Systems and I’m especially excited to teach intro CS, intro systems, compilers, PL, and formal methods electives.

I am a 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