Nadia Polikarpova: Creating New Languages for Programming

Nadia Polikarpova: Creating New Languages for Programming

Author: UCTV January 3, 2019 Duration: 3:44
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. Series: "UCTV Prime" [Science] [Show ID: 33420]

Ever wondered what's happening at the very edge of computational research? Computer Science Channel, from UCTV and UC San Diego's Computer Science and Engineering department, pulls back the curtain. This isn't about gadget reviews or industry gossip; it's a direct line to the labs and minds shaping our digital future. Each episode features leading researchers and faculty breaking down complex ideas, from artificial intelligence and machine learning to cybersecurity, quantum computing, and revolutionary software engineering. You'll hear detailed discussions on their latest projects, the real-world problems they're solving, and the sometimes surprising directions their work is taking. Tune into this podcast for authentic, in-depth conversations that translate cutting-edge academic discovery into accessible and compelling listening. Whether you're a seasoned developer, a student in the field, or simply intellectually curious about how technology is being reinvented from the ground up, the Computer Science Channel offers a genuine and thoughtful perspective you won't find elsewhere.
Author: Language: en-us Episodes: 45

Computer Science Channel
Podcast Episodes
Computing Primetime: Decoding the Microbiome [not-audio_url] [/not-audio_url]

Duration: 28:22
UC San Diego Qualcomm Institute’s Larry Smarr, noted authority in information technology and high-performance computing hosts a discussion with UC San Diego’s Rob Knight, leading expert on microbiomes and bioinformatics…
Computing Primetime: Visual Computing [not-audio_url] [/not-audio_url]

Duration: 52:17
On this edition of Computing Primetime Ravi Ramamoorthi, director of the new UC San Diego Center for Visual Computing - or VisComp - is joined by two other faculty members on the interdisciplinary roster of UC San Diego…
Computing Primetime: Computer Engineering for Exploration [not-audio_url] [/not-audio_url]

Duration: 29:23
Calit Research Scientist and National Geographic Explorer Albert Lin, renowned for his hi-tech search for the tomb of Genghis Khan hosts Ryan Kastner, co-director of UC San Diego’s Engineers for Exploration Program in a…
Computing Primetime: Cyber Security: Planes Trains and Automobiles [not-audio_url] [/not-audio_url]

Duration: 28:44
UC San Diego Computer Science and Engineering (CSE) Department Chair Rajesh Gupta, an expert in cyber-physical systems, kicks off a conversation with two cyber security experts from the computer-science faculty in UC San…