Hi! Iām a student researcher, software engineer, dancer, and foodie.
Iām currently based in NYC and affiliated with Columbia š¦
I am interested in programming language (PL), formal methods (FM), and software engineering (SE) research, with an angle of human-computer interaction (HCI) and interest on AI.
I am currently working 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.
Most of my previous work was done as a research assistant with Prof. Mark Santolucito in Barnard Programming Languages Lab. Learn more in my publications page and projects page!
Please feel free to reach out to me at lc3542@columbia.edu āļø
Mentorship and Support šŖ:
I spend 2 hours per week to provide support for high-school or undergraduate students on anything I can help. I especially encourage those from underrepresented background to reach out. Fill out this form to chat!
News
- š 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.