Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Nadia Polikarpova

Registered user since Sat 23 Jan 2016

Name:Nadia Polikarpova

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
Research interests:Programming Languages, Formal Methods


BAPL 2020 Committee Member in Program Committee within the BAPL 2020 (Cancelled)-track
Ally Skills@PLDI2020 Committee Member in Organizing Committee within the Ally Skills@PLDI2020 (Cancelled)-track
PLMW@PLDI 2020 Session Chair of Day 1 Afternoon (part of PLMW@PLDI 2020)
Co-chair in Organizing Committee within the PLMW@PLDI 2020-track
Show activities from other conferences

PLDI 2020-profile
View general profile