Hi, I'm Angel 👋

researcher software engineer dancer foodie

I'm a PhD student at CMU (SCS S3D) since 2025.

I'm advised by Prof. Rohan Padhye. My research interests lie at the intersection of formal methods, software engineering, and artificial intelligence.

Previously, I received my master's in Computer Science from SEAS, Columbia University in 2025, where I worked as a research assistant on the Fuzzy Mental Model checker 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.

Feel free to reach out at angelc2@andrew.cmu.edu.

Work with me. I'm always open to collaborations — fill out this form or email me to chat.

News

Jun 2026 ☀️ Based in Redmond, WA this summer as a research intern at Microsoft Research (MSR) in the Software Engineering 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 in software engineering.
Jun 2025 ☀️ Based in Arlington this summer as an applied scientist intern on the 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.