Hi I'm Claire.
1st year CS PhD student at UPenn and NSF CSGrad4US Fellow. PL + ML. Former backend engineer (5 yrs).
Email - [email protected]
Research Questions and Interests - if interested in collaboration, please reach out by e-mail.
- IRIS - a tool used to synthesize CodeQL queries using LLMs.
- How do I know if the code I asked my coding assistant to generate is doing what I think it's doing?
- How can we take advantage of program structure to automate reading and writing code?
Misc
San Francisco Opera
Former Board member of SF Opera Bravo! Club - we are a young professionals club for anyone under 45 with discounts to the SF Opera and lots of events!
Running
- 5k - 19:43, Hot Chocolate 5k 2021
- 10k - 41:55, Chinatown Lunar New Year Run 2021, 1st 10k
- Half marathon - 01:33:44.1, Yosemite Half Marathon 2021, 1st Half Marathon
- Double Dipsea 2021 - 2:25:58
- Dipsea 2022 - 1:18:13.50, 1st attempt and invitational qualifier
- CIM 2022 - 03:37:02, 1st marathon
- Philadelphia Marathon 2023 - 03:29:25, 2nd marathon