About Me
I am a PhD student in Software Engineering at UC Irvine under Crista Lopes. My research focuses on program verification, LLM application, and LLM testing. Ensuring software correctness through verification, exploring innovative uses for LLMs, and establishing rigorous testing methodologies are crucial for advancing reliable and ethical AI technologies.
I received B.S. in Agronomy and Computer Science at Iowa State University. I worked as an undergraduate research assistant at Laboratory for Software Design with Hridesh Rajan and Robert Dyer on an ultra-large data mining project.
Interests
- Program Verification
- LLM Application
- LLM Testing
Education
Ph.D. in Software Engineering, current
University of California, Irvine
B.S. in Agronomy, Computer Science, 2022
Iowa State University
Experience
Research Assistant
Software Engineer Internship
Research Assistant
Selected Publications
Honors & Awards
- Beall Applied Innovation’s Graduate Innovation Fellowship $5,000 (2024)
- I-Corps Program $5,000 (2024)
- Beall Applied Innovation’s Proof-of-Product Grant $48,000 (2024)
- ESEC/FSE Conference Travel Fund $2450 (2023)
- New Ph.D. Student Fellowship $2500 (2022)
- Robert and Cecile Mitchell Scholarship $2650 (2021)
- International Incentive Scholarship $1500 (2021)
- Global Scholars Award for Undergraduate Retention $500 (2021)
- International Incentive Scholarship $1500 (2020)
- Dean’s List Honors (10 times)