Nadia Polikarpova: Creating New Languages for Programming

Computer Science Channel (Audio)

Content provided by UCTV. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by UCTV or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.

5+ y ago 3:44

MP3•Episode home

Archived series ("Inactive feed" status)

When? This feed was archived on October 16, 2020 05:29 (3+ y ago). Last successful fetch was on June 02, 2020 13:38 (4y ago)

Why? Inactive feed status. Our servers were unable to retrieve a valid podcast feed for a sustained period.

What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.

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]

43 episodes

#Tech #San Diego #UCTV