Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Sun 23 Sep 2018 09:00 - 09:30 at New York Central - Session 1

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.

Sun 23 Sep

PLMW-ICFP-2018
09:00 - 10:00: PLMW @ ICFP 2018 - Session 1 at New York Central
PLMW-ICFP-201809:00 - 09:30
Talk
Nadia PolikarpovaUniversity of California, San Diego
PLMW-ICFP-201809:30 - 10:00
Talk
Ronald GarciaUniversity of British Columbia