Write a Blog >>
Nadia Polikarpova

Registered user since Sat 23 Jan 2016

Name: Nadia Polikarpova

Bio: Nadia Polikarpova is an Assistant Professor in the Computer Science and Engineering Department at the University of California, San Diego. She completed her PhD in 2014 at ETH Zurich (Switzerland) under the supervision of Bertrand Meyer. After that, she spent almost three years as a postdoc at MIT CSAIL, working with Armando Solar-Lezama. Her research interests span the areas of programming languages and formal methods; in particular, she is interested in building practical tools and techniques that make it easier for programmers to construct secure and reliable software.

Country: United States

Affiliation: University of California, San Diego

Personal website: https://cseweb.ucsd.edu/~npolikarpova/

Research interests: Programming Languages, Formal Methods


ADSL 2020Author of Programs Synthesis with Separation Logic within the ADSL 2020-track
Committee Member in Program Committee within the ADSL 2020-track
VMCAI 2020PC Member in Program Committee within the VMCAI 2020-track
POPL 2020Author of [T3] Synthesizing Programs from Types within the TutorialFest-track
Author of Program Synthesis by Type-Guided Abstraction Refinement within the Research Papers-track
Show activities from other conferences

POPL 2020-profile
View general profile