Anastasiya Kravchuk-Kirilyuk
Ph.D. student in computer science at Harvard University.

I'm a first year Ph.D. student, advised by Nada Amin.

My research interests include type systems, formal verification, and computer science education.

You can reach me at this email.

Papers and Talks