I am a second year PhD student in Computer Science at Carnegie Mellon University where I am advised by Bryan Parno. My research area is formal verification for systems.

I graduated in 2021 from Cornell University, where my research on formal and informal models of distributed consensus protocols was advised by Robbert van Renesse. After that, I worked on data-centric problems for Bing’s knowledge graph, most recently using LLMs for semi-structured data extraction and unstructured data generation.

News

• May 2025: I started an internship at the Systems Research Group at Microsoft Research.
• September 2024: I quit my job (and, more importantly, started my PhD)!!
• July 2024: My team’s feature, generative search, was featured on Bing’s blog.
• August 2023: I was awarded an NSF CSGrad4US Graduate Fellowship.
• May 2023: I presented “Trees and Turtles: Modular Abstractions for State Machine Replication” at PaPoC 2023 (co-organized with EuroSys) in Rome, Italy.
• March 2023: My team’s feature, AI-generated short videos for Knowledge Cards, was featured on Bing’s blog.
• May 2021: I was named a Merrill Presidential Scholar (and got quoted in Cornell’s write-up!). Thanks to Robbert and Mr. Fagan for their support over the years!
• May 2021: I was one of two graduating seniors to receive the Alan S. Marx Memorial Prize for Excellence in Undergraduate Teaching from Cornell’s computer science department. Thanks to Michael and Fred for their mentorship during my time as their TAs, and to all of my teachers who have inspired me to love learning and teaching!

Education

• B.A. in Computer Science (summa cum laude) & Mathematics, Cornell University (2018-2021)
• Computer Science & Mathematics, Rutgers University (2017-2018)

Publications

Industry Experience

Past Projects

Teaching