About me

I am a Ph.D. student in the Lab for Programming Languages at the University of Maryland (PLUM) advised by David Van Horn and Leo Lampropoulas (started fall 2024).

I am broadly interested in compilers, testing, program synthesis, and Racket-y things like contracts. I am currently working on:

1. Compiler testing with sized types: Random testing recursion-related optimizations in compilers. My goal is to build a program generator of recursive programs by using sized typing to ensure termination.
   • December 2025 NJPLS talk
   • October 2025 tutorial talk on sized typing
2. Generating interesting Rust programs: I am currently interning at Sandia National Laboratories with John Bender, where I am testing their verified Rust compiler based on CompCert.

The best way to reach me outside UMD is by email. You can find more of my work on my C.V.

More information

I am grateful to be supported by the NSF (CSGrad4US award #2313998): I am a 2023 NSF CSGrad4US Fellow. I encourage any undergraduate or master’s students who are planning to do a Ph.D. after an industry break to apply to this fellowship & mentorship program.

Previously, I was advised by Christos Dimoulas at Northwestern University as an undergraduate. I worked on the higher order (HO) benchmarks project with Lukas Lazarek. I also contributed to the MemOIR project in the Arcana compilers group.

Between UMD and NWU, I spent 2 years in industry at Epic with Healthy Planet (population health) Analytics.

Have we met before? I’d love to hear from you! I was at:

• NJPLS May 2026 @ University of Pennsylvania
• NJPLS December 2025 @ Princeton (Talk: Compiler Testing with Sized Types)
• NJPLS May 2025 @ Jane Street
• POPL 2025 @ Denver, Colorado (student volunteer)
• OPLSS 2022 @ Eugene, Oregon
• OOPSLA 2021 @ Chicago, Illinios (my hometown!)

Last updated: 5/27/2026