Image

Elizaveta (Liza) Pertseva

Computer Science Ph.D.
Stanford University
pertseva@stanford.edu


About

Hello! I am a second year Ph.D. student at Stanford University advised by Professor Clark Barrett.

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 that maintain provable safety guarantees. I am currently working on cvc5, an automatic theorem prover for SMT problems.

Publications

News

Teaching

Service

Contact

📧 pertseva[-at-] stanford [-dot-] edu

Follow @limpa105