Elizaveta (Liza) Pertseva
Computer Science Ph.D.
Stanford University
pertseva@stanford.edu
About
Hello! I am a PhD candidate at Stanford University advised by Professor Clark Barrett and working on verifying cryptographic systems with SMT solvers.
Previously I was at University of California, San Diego where I worked with Professor Nadia Polikarpova and Professor Taylor Berg-Kikpatrick
on regular expression synthesis from positive examples. I also worked with Professor Michael Coblenz on haskell debugging and scientific computing.
Research Interests
My research interests lie in the intersection of Formal Methods (FM), Cryptography, and Human-Computer Interaction (HCI). By combining FM and HCI techniques, I aim to develop intuitive and accessible verification tools for cryptographic systems that maintain provable safety guarantees. I am currently working on cvc5.
Publications
- Elizaveta Pertseva, Alex Ozdemir, Shankara Pailoor, Alp Bassa, Sorawee Porncharoenwase, Işil Dillig, Clark Barrett. Integer Reasoning Modulo Different Constants in SMT. 37th International Conference on Computer Aided Verification (CAV), 2025 [pdf]
- Elizaveta Pertseva, Melinda Chang, Ulia Zaman, Michael Coblenz. A Theory of Scientific Programming Efficacy. 46th International Conference on Software Engineering (ICSE), 2024 [pdf]
- Silei Xu, Shicheng Liu, Theo Culhane, Elizaveta Pertseva, Meng-Hsi Wu, Sina J. Semnani, Monica S. Lam. Fine-tuned LLMs Know More, Hallucinate Less with Few-Shot Sequence-to-Sequence Semantic Parsing over Wikidata. Conference on Empirical Methods in Natural Language Processing (EMNLP), 2023 [pdf]
- Ruanqianqian (Lisa) Huang, Elizaveta Pertseva, Michael Coblenz, and Sorin Lerner. How do haskell programmers debug? 13th annual workshop on the intersection of HCI and PL (PLATEAU), 2023 [pdf]
- Nikolai Vogler, Kartik Goyal, Kishore PV Reddy, Elizaveta Pertseva, Cristopher Warren, Max G’Sell, and Taylor Berg-Kirkpatrick. Contrastive attention networks for attribution of early modern print. 37th Association for the Advancement of Artificial Intelligence (AAAI), 2023 [pdf]
- Elizaveta Pertseva, Mark Barbone, Joey Rudek, and Nadia Polikarpova. Regex+: Synthesizing regular expressions from positive examples. 11TH Workshop on Synthesis (SYNT), 2022 [pdf]
News
- [July 2025] I will be presenting our paper "Integer Reasoning Modulo Different Constants in SMT" at CAV!
- [March 2025] I led an introductory session on SMT solvers at the HACS workshop.
- [October 2024] Our poster, "Multimodular Reasoning for Satisfiability Modulo Theories", won Best Student Poster Award at FMCAD!
- [April 2024] I presented our paper "A Theory of Scientific Programming Efficacy" at ICSE.
Teaching
- [Spring 2022] Tutor for CSE 130 : (Instructor: Nadia Polikarpova)
Service
- CAV Volunteer (2025)
- TACAS Sub-reviewer/Artifact evaluator (2025)
- POPL Volunteer (2023)
- FLoC Volunteer (2022)
Contact
📧 pertseva[-at-] stanford [-dot-] edu
Follow @limpa105