Anastasiya Kravchuk-kirilyuk
Doctoral Researcher at Harvard University
Boston, Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolAnastasiya Kravchuk-Kirilyuk is a Ph.D. candidate in Computer Science at Harvard with nine years of experience building programming-language tooling that makes correctness practical and maintainable. Her work spans language design, type systems, and formal methods, including modular features like nested family polymorphism and abstractions that simplify verification and reuse. She has twice interned at AWS contributing to Dafny and a cross-language equivalence checker—automating tough predicates for heap-based types and improving proof evolvability for long-lived code. Earlier research at Princeton and UPenn produced reusable verification APIs (including a verified B+-tree) and formalized eta-equivalence rules for dependently typed Haskell, demonstrating a knack for turning deep theory into reusable artifacts. Based in Boston, she’s driven by collaborative, optimistic projects that bridge formal methods with LLM-driven synthesis to produce verified, extensible software.
9 years of coding experience
4 years of employment as a software developer
Bachelor’s Degree, Computer Science, Bachelor’s Degree, Computer Science at University of PennsylvaniaHigh School, High School at Southside High SchoolDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Harvard UniversityMaster's degree, Computer Science, Master's degree, Computer Science at Princeton University
English, Russian, Ukrainian
Github Skills (23)
verification9
semantic-diff9
tla7
programming-language7
dafny7
formal-verification7
sat-solver6
coq6
proof6
formal-methods6
compcert6
proof-assistant6
coq-library6
smt5
theorem-proving5
Programming languages (6)
Github contributions (5)
akravc/akravc.github.io
Oct 2020 - Mar 2025
Contributions:13 pushes, 1 branch in 4 years 5 months
akravc/dafny
Aug 2023 - Feb 2024
Dafny is a verification-aware programming language
Contributions:17 pushes in 6 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.