![Greta Yorsh](https://icfp20.sigplan.org/getProfileImage/gretayorsh/56880da3-7540-47fb-b232-05f0b096d239/small.jpg?1711465695000)
Registered user since Fri 12 Jun 2015
Name:Greta Yorsh
Affiliation:Jane Street
Personal website: https://gretay.github.io/
Research interests:Program analysis, verification, and synthesis; Compilers
Contributions
ICFP 2020-profile
View general profile
View general profile