Hi, I'm Angel 👋
I'm a PhD student at Carnegie Mellon University'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, software engineering, and AI. I build tools and benchmarks that help developers and LLMs to find, reason about, and prevent bugs.
Before CMU, I completed my master's in Computer Science at Columbia University (SEAS) in 2025, where I worked on formally modeling human–machine interaction with Prof. Eunsuk Kang and Prof. Matthew Bolton, and on secure code generation with LLMs with Prof. Baishakhi Ray and Prof. Junfeng Yang.
I earned my BA in Computer Science from Barnard College, Columbia University in 2024, where I was introduced to research by Prof. Mark Santolucito in the Barnard Programming Languages Lab, working on reactive program synthesis.
News
- Jun 2026 🎉 Our paper Chronically Buggy: Analyzing Date/Time Pitfalls In Open-Source and LLM-Generated Python Code is accepted to Empirical Software Engineering: an International Journal.
- 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.