
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
CoqPL 2021 | The B+-tree Index as a Verified Software Unit | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2021-profile
View general profile
View general profile