Anastasiya Kravchuk-Kirilyuk

Ph.D. candidate in computer science at Harvard University

I'm a fifth year student in the Programming Languages lab, advised by Nada Amin.

My current research projects span the areas of proof systems, modular / extensible verification, proof synthesis tools, and computer science education. I have also spent the past two summers as an intern with the automated reasoning group at AWS.

In my free time, I like to hike (the hike must be scenic, and there must be snacks), explore random small towns with my husband, or chill out at home with my cats.

You can reach me at this email.

Published Papers

Persimmon: Nested Family Polymorphism with Extensible Variant Types.
Anastasiya Kravchuk-Kirilyuk, Gary Feng, Jonas Iskander, Yizhou Zhang, Nada Amin. SPLASH OOPSLA 2024.
Eta-Equivalence in Core Dependent Haskell.
Anastasiya Kravchuk-Kirilyuk, Antoine Voizard, Stephanie Weirich. In post-proceedings, TYPES 2019 .

Workshop Talks

Family Polymorphism for Proof Extensibility.
Anastasiya Kravchuk-Kirilyuk, Yizhou Zhang, Nada Amin. TYPES 2021.
The B+-tree Index as a Verified Software Unit.
Anastasiya Kravchuk-Kirilyuk, Andrew Appel, Lennart Beringer. CoqPL 2021 .
Locally Nameless at Scale.
Stephanie Weirich, Antoine Voizard, Anastasiya Kravchuk-Kirilyuk. CoqPL 2018.

Theses

The B+-tree Index as a Verified Software Unit.
Anastasiya Kravchuk-Kirilyuk. Master's Thesis. Princeton University, 2020.