Nadia Polikarpova
Associate Professor
San Diego, California, United States
Summary
👤
Senior🎓
Top SchoolNadia Polikarpova is an associate professor and programming languages researcher with 16 years of experience helping developers build correct software. Based at UC San Diego after roles at MIT and ETH Zurich, she blends rigorous academic scholarship (PhD from ETH Zurich) with practical tooling work that improves program correctness. Her contributions to the Dafny verification-aware programming language—especially enhancing its parser, resolver, and support for calc statements—reflect a focus on making formal methods usable in real-world development. Nadia’s background includes security-focused verification work at Microsoft Research, showing her interest in dependable systems beyond purely theoretical problems. She is known for translating deep formal insights into tangible compiler and language features that help programmers reason about code. Colleagues describe her as a researcher who consistently bridges theory and practice to make correctness accessible to everyday developers.
16 years of coding experience
15 years of employment as a software developer
Doctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at Eidgenössische Technische Hochschule ZürichMS, Computer Technologies, MS, Computer Technologies at Saint Petersburg State University of Information Technologies, Mechanics and Optics
Russian, English, German, Italian
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (4)
text-parsing10
parsing10
verification10
compiler9
Programming languages (8)
Github contributions (5)
dafny-lang/dafny
Sep 2012 - May 2015
Dafny is a verification-aware programming language
Role in this project:
Back-end Developer
Back-end DeveloperContributions:55 commits in 2 years 8 months
Contributions summary:Nadia's commits primarily focused on enhancing the Dafny programming language's parser and resolver. They introduced and refined the support for "calc" statements, including parsing, type checking, and translation. Furthermore, the user made several changes to the code related to the structure, well-formedness, and printing of these calculation statements, ensuring consistency and correctness. They also added code to translate well-formedness checks and the result of the calculation.
compilerdafnyprogramming-languageverification
cse130-assignments/04-nano
May 2020 - May 2024
Starter code for hw4
Contributions:2 reviews, 5 PRs, 12 pushes in 4 years 1 month
phpstarter-code
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.