Elizaveta Pertseva
Graduate Researcher
San Francisco Bay Area United States
Summary
🤩
Rockstar🎓
Top SchoolElizaveta Pertseva is a PhD computer science researcher at Stanford with seven years of experience building practical verification and data-driven tools that bridge formal methods, cryptography, and HCI. She focuses on making verification tooling intuitive and integrable—currently advancing SMT solver techniques for zero-knowledge proof verification—and has applied similar tooling skills to domain-specific languages for oceanography and neuro-symbolic program synthesis. Her background spans research internships and applied data engineering roles at Amazon, Upstart, and Pacific Life, giving her a rare blend of theoretical rigor and production-oriented engineering. She has contributed to published workshop work in program synthesis and PL+HCI and helped deploy ML training materials at the San Diego Supercomputer Center, reflecting both research impact and teaching experience. Based in the Bay Area, she combines strong mathematical foundations with hands-on systems implementation to turn formal ideas into usable developer workflows.
6 years of coding experience
3 years of employment as a software developer
University of California, San DiegoMenlo-Atherton High SchoolDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Stanford University
Russian, French, English
Github Skills (46)
low-level9
modulo9
sat8
sat-solver7
satisfiability7
rust7
wolfram-language6
smt6
singular6
theorem-proving5
intervals5
theorem5
polyhedra5
cas5
polynomials5
Programming languages (9)
Github contributions (5)
limpa105/cvc5
Feb 2024 - Apr 2025
Contributions:1 review, 4 PRs, 148 pushes in 1 year 1 month
limpa105/RegexPlus
Feb 2022 - Mar 2023
Contributions:65 commits, 9 PRs, 56 pushes in 1 year 1 month
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.