user avatar
Claire Wang
@lambdaclaire
CS PhD Student at Penn. Program analysis, synthesis, testing, and verification + ML. Also music and dependent types.
clairewang.net
Joined November 2024
231
Following
54
Followers
@lambdaclaire hasn’t posted
When they do, their posts will show up here.