![Anastasiya Kravchuk-Kirilyuk](https://popl21.sigplan.org/getProfileImage/anastasiyakravchukkirilyuk1/cc0e3e6c-a18b-406c-9ed5-a7c7c1ff086b/small.jpg?1712458207000)
Registered user since Mon 14 Dec 2020
Name:Anastasiya Kravchuk-Kirilyuk
Country:United States
Affiliation:Harvard University
Personal website: https://akravc.github.io/
Research interests:type systems, verification, computer science education
Contributions
POPL 2021-profile
View general profile
View general profile