Hi! I’m a researcher, software engineer, dancer, and foodie.
I’m currently based in Pittsburgh and affiliated with CMU 🐲
I'm a first-year PhD student at CMU (SCS S3D department), advised by Prof. Rohan Padhye. My interests lie at the intersection of formal methods, software engineering, and artificial intelligence.
I received my master's degree in Computer Science from SEAS, Columbia University in 2025. During that time, I had the fortune to work as a research assistant on Fuzzy Mental Model model checker with Prof. Eunsuk Kang and Prof. Matthew Bolton, and secure code generation with LLMs with Prof. Baishakhi Ray and Prof. Junfeng Yang.
I received my bachelor’s degree in Computer Science from Barnard College, Columbia University in 2024. There, I was introduced to research by Prof. Mark Santolucito in Barnard Programming Languages Lab.
Please feel free to reach out to me at angelc2@andrew.cmu.edu ☀️
Work with me 💪:
I am always open to work and collaborate! Fill out this form or email me to chat!
News
- ☀️ August 2025: I am based in Pittsburgh now, where I am starting as a PhD student at CMU in software engineering.
- ☀️ June 2025: I am based in Arlington this summer, where I am starting a new position as an applied scientist intern at AWS CloudOps team.
- 🥇 May 2025: I received the Andrew P. Kosoresow Memorial Award for Excellence in Teaching and Service monetary award from Columbia University.
- ✈️ May 2025: At ICSE 2025 @Ottawa, CA thanks to SMeW grant!
- 🎉 April 2025: I will be joining the Pasta Lab as a PhD student for Prof. Rohan Padhye!
- 🎉 Feburary 2025: Our paper Interactively Assisting Glaucoma Diagnosis with an Expert Knowledge-distilled Vision Transformer is accepted to CHI 2025!
- 🎉 December 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)!
- 🎉 November 2024: Our paper Constrained LTL Specification Learning from Examples is accepted to ICSE 2025!
- 🥇 October 2024: My work A Formal Approach to the Analysis of Human-Machine Interaction with Fuzzy Logic presented at OOPSLA received the second place in the graduate student division of the Student Research Competition!
- 🎉 August 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 to appear in the student research competition! I will be presenting the paper at OOPSLA in October 2024!
- 🎉 December 2023: Our paper Towards Reactive Synthesis as a Programming Paradigm is accepted to Plateau 2024. I will be presenting the paper at Plateau in February 2024!
- 🥇 December 2023: I graduated from Barnard College of Columbia University with a BA in Computer Science, awarded the Computer Science Departmental Honor.
- 🎉 December 2023: I 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!
- October 2023: I received the Beyond Barnard Internship Program grant.