conf.researchr.org / Anastasiya Kravchuk-Kirilyuk
![Anastasiya Kravchuk-Kirilyuk](https://conf.researchr.org/getProfileImage/anastasiyakravchukkirilyuk1/f09d769e-49d3-40b6-9fdb-a25efe248ebb/small.jpg?1711733428000)
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