ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
Anastasiya Kravchuk-Kirilyuk

Registered user since Mon 14 Dec 2020

Name:Anastasiya Kravchuk-Kirilyuk
Country:United States
Affiliation:Harvard University
Research interests:type systems, verification, computer science education

Contributions

Show activities from other conferences

Using general profile