ICFP 2020
Sun 23 - Fri 28 August 2020
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


PLMW @ ICFP 2020Invited Speaker in Invited Speakers within the PLMW @ ICFP 2020-track
Speaker of Polikarpova Talk within the PLMW @ ICFP 2020-track
ICFP 2020Committee Member in Program Committee within the Research Papers-track
Author of Liquid Information Flow Control within the Research Papers-track
Author of Liquid Resource Types within the Research Papers-track
Show activities from other conferences

Using general profile