About me

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

I am broadly interested in compilers, property based testing, and contracts. I am currently working on 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. Here are slides from a tutorial talk on sized typing I gave.

News

I am currently looking for summer 2026 internships! → My C.V. ←

More information

My work is 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 2025 @ Jane Street
• POPL 2025 @ Denver (student volunteer)
• OPLSS 2022 @ Oregon
• OOPSLA 2021 @ Chicago

Last updated: 9/24/2025