معرفی
Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego. She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer, followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama. Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship, 2020 Intel Rising Stars Award, and 2020 NSF CAREER Award.
Polikarpova's research focuses on program synthesis, program verification, and type systems. She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid, SuSLik, and Laurel that combine formal methods with machine learning for code generation.
Her recent publications in venues like OOPSLA, NeurIPS, and ICFP reveal trends in AI-assisted programming, live programming environments, and formal verification. She has advised numerous PhD and Master’s students including Shraddha Barke, Zheng Guo, and Tristan Knoth, many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures.
- 2020: Sloan Fellow
- 2020: Intel Rising Stars Award
- 2020: NSF CAREER Award
- 2021: Distinguished Paper at POPL
- 2023: Distinguished Artifact at PLDI
- 2023: Distinguished Paper at OOPSLA
Polikarpova actively contributes to academic service, serving on program committees for PLDI, POPL, and OOPSLA, and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24, emphasizing the integration of large language models with formal methods.
