Hi! Iām a student, researcher, software engineer, dancer, and foodie. Iām based in NYC.
I am interested in programming language (PL) and software engineering (SE) research, with an angle of human-computer interaction (HCI).
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 āļø
I'm applying for PhD positions in PL/SE/HCI for Fall 2025. Let's chat! š
Education:
SEAS, Columbia University; MS, Computer Science 09/2024-05/2025(expected)
Barnard College of Columbia University; BA, Computer Science, Dance 09/2020-12/2023
News
- š 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.