Hi, I'm Angel 👋
I'm a PhD student at CMU's School of Computer Science, where I'm part of the Pasta Lab advised by Prof. Rohan Padhye. My research lies at the intersection of formal methods, AI, and program analysis, building tools and benchmarks that help developers and LLMs find and prevent bugs.
During my PhD, I've spent my summers on research in industry labs. At Microsoft Research, I'm working with Sarah Fakhoury, Madan Musuvathi, Saikat Chakraborty, and Shuvendu Lahiri on IntentMiner; at AWS Automated Reasoning, I worked with Brandon Paulsen, Hui Guan, and Joey Dodds on CloudTwin. Learn more on my work page.
Before CMU, I earned my MS in Computer Science at Columbia University (SEAS) in 2025 and my BA in Computer Science at Barnard College, Columbia University in 2024. Along the way I worked on formally modeling human–machine interaction with Prof. Eunsuk Kang and Prof. Matthew Bolton, secure LLM code generation with Prof. Baishakhi Ray and Prof. Junfeng Yang, and was introduced to research through reactive program synthesis with Prof. Mark Santolucito.
News
- Oct 2026 🎉 Our paper Chronically Buggy: Analyzing Date/Time Pitfalls In Open-Source and LLM-Generated Python Code is accepted to Empirical Software Engineering.
- Sep 2026 🎉 My MSR summer internship work Learning Latent Specifications from Structural Peers is accepted to the VeriCodeGen workshop at NeurIPS 2026.
- Sep 2026 🥇 Received the OOPSLA 2026 Distinguished Artifact Reviewer Award.
- Jun 2026 ☀️ Based in Redmond, WA this summer as a research intern at Microsoft Research (MSR) in the Research in Software Engineering (RiSE) group.
- Dec 2025 🎉 Our paper Fuzzy Mental Model: A Formalism for Reasoning About Confusion in Human Technology Interaction is accepted to the International Journal of Human-Computer Interaction.
- Aug 2025 ☀️ Based in Pittsburgh — starting as a PhD student at CMU School of Computer Science.
- Jun 2025 ☀️ Based in Arlington this summer as an applied scientist intern in the Automated Reasoning group (AWS CloudOps team).
- May 2025 🥇 Received the Andrew P. Kosoresow Memorial Award for Excellence in Teaching and Service from Columbia University.
- May 2025 ✈️ Attended ICSE 2025 in Ottawa, CA thanks to the SMeW grant.
- Apr 2025 🎉 Joining the Pasta Lab as a PhD student with Prof. Rohan Padhye.
- Feb 2025 🎉 Our paper Interactively Assisting Glaucoma Diagnosis with an Expert Knowledge-distilled Vision Transformer is accepted to CHI 2025.
- Dec 2024 🎉 Our paper CWEval: Outcome-driven Evaluation on Functionality and Security of LLM Code Generation is accepted to LLM4Code 2025 (co-located with ICSE 2025).
- Nov 2024 🎉 Our paper Constrained LTL Specification Learning from Examples is accepted to ICSE 2025.
- Oct 2024 🥇 My work A Formal Approach to the Analysis of Human-Machine Interaction with Fuzzy Logic, presented at OOPSLA, received second place in the graduate division of the Student Research Competition.
- Aug 2024 🎉 My paper A Formal Approach to the Analysis of Human-Machine Interaction with Fuzzy Logic (advised by Prof. Eunsuk Kang and Prof. Matthew Bolton) is accepted to SPLASH 2024 in the Student Research Competition.
- Dec 2023 🎉 Our paper Towards Reactive Synthesis as a Programming Paradigm is accepted to PLATEAU 2024.
- Dec 2023 🥇 Graduated from Barnard College of Columbia University with a BA in Computer Science, awarded the Computer Science Departmental Honor.
- Dec 2023 🎉 Presented the poster Safe and Reliable Medical Records: Assessing the Robustness of OpenEMR at the 2023 Columbia University Undergraduate Computer and Data Science Research Fair and received the Best Overall Prize.
- Oct 2023 🌱 Received the Beyond Barnard Internship Program grant.