Hi I'm Claire.
CS PhD student at UPenn and NSF CSGrad4US Fellow. Ex backend engineer (5 yrs).
Email - [email protected]
Research interests - Combining machine learning with program analysis, synthesis, testing, and verification. Also music and dependent types.
If interested in collaboration, please reach out by e-mail.
QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities [Paper] [Code]
Claire Wang, Ziyang Li, Saikat Dutta,
Mayur Naik. ICLR 2026
Demo: Rocq N'Roll [Paper] [Code]
Roger Burtonpatel, Claire Wang.
FARM Workshop, ICFP 2025
Dolphin: A Programmable Framework for Scalable Neurosymbolic Learning [Paper] [Code]
Aaditya Naik, Jason Liu, Claire Wang,
Amish Sethi, Saikat Dutta, Mayur Naik, Eric Wong. ICML 2025
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
![]() | If I were a Springer-Verlag Graduate Text in Mathematics, I would be William S. Massey's A Basic Course in Algebraic Topology. I am intended to serve as a textbook for a course in algebraic topology at the beginning graduate level. The main topics covered are the classification of compact 2-manifolds, the fundamental group, covering spaces, singular homology theory, and singular cohomology theory. These topics are developed systematically, avoiding all unecessary definitions, terminology, and technical machinery. Wherever possible, the geometric motivation behind the various concepts is emphasized. Which Springer GTM would you be? The Springer GTM Test |