I am a PhD student at the Veritas Lab under the supervision of Azalea Raad.

My research interests include formal methods and their application on software verification, as well as the development of logical foundations for programming languages. Currently, I am working on incorrectness logic for sound and scalable bug detection in Rust libraries that rely on internal use of unsafe features.

For more details, see my homepage.