Registered user since Sat 23 Jan 2016
Nadia Polikarpova is an Assistant Professor of Computer Science and Engineering at the University of California, San Diego. She received her PhD from ETH Zurich (Switzerland), and spent a couple of years as a postdoc at MIT CSAIL. She is a 2020 Sloan Fellow and a recipient of the 2020 NSF Career Award. Her research interests are in program synthesis, program verification, and type systems.
|PLMW @ ICFP 2020||Constraint Solvers for the Working PL Researcher|
|ICFP 2020|| Committee Member in Program Committee within the ICFP Program-track|
Liquid Information Flow Control
Liquid Resource Types
|Show activities from other conferences|
View general profile