Nadia Polikarpova: Creating New Languages for Programming
2,799 views · Published 19 April 2018 · 3:46 · Indexed 24 September 2026
Channel: University of California Television (UCTV) · 2018 · Education
2020 Sloan Research Fellow Nadia Polikarpova is an assistant professor at CSE, and a member of the Programming Systems group. She received her PhD. in computer science from ETH Zurich in 2014. She then spent three years as a postdoctoral researcher at the Massachusetts Institute of Technology. Polikarpova's work spans 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. Her agenda is to exploit the growing power of automated logical reasoning to build next-generation programming languages, in which the programmer simply states high-level system requirements---such as safety, security, or performance criteria---and the language infrastructure takes on the error-prone task of enforcing these requirements. [1/2019] [Show ID: 33420] More from: We Are CSE (https://www.uctv.tv/computer-science/we-are-cse) More from: Computer Science Channel (https://www.uctv.tv/computer-science) Explore More Science & Technology on UCTV (https://www.uctv.tv/science) Science and technology continue to change our lives. University of California scientists are tackling the important questions like climate change, evolution, oceanography, neuroscience and the potential of stem cells. UCTV is the broadcast and online media platform of the University of California, featuring programming from its ten campuses, three national labs and affiliated research institutions. UCTV explores a broad spectrum of subjects for a general audience, including science, health and medicine, public affairs, humanities, arts and music, business, education, and agriculture. Launched in January 2000, UCTV embraces the core missions of the University of California -- teaching, research, and public service – by providing quality, in-depth television far beyond the campus borders to inquisitive viewers around the world. (https://www.uctv.tv)
