OwlTail

Cover image of Nadia Polikarpova

Nadia Polikarpova

4 Podcast Episodes

Latest 18 Sep 2021 | Updated Daily

Weekly hand curated podcast episodes for learning

Episode artwork

Nadia Polikarpova: Creating New Languages for Programming

Computer Science Channel (Video)

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]

3mins

2 Jan 2019

Episode artwork

Nadia Polikarpova: Creating New Languages for Programming

Computer Science Channel (Audio)

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]

3mins

2 Jan 2019

Similar People

Episode artwork

Nadia Polikarpova: Creating New Languages for Programming

Women in Science (Video)

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]

3mins

2 Jan 2019

Episode artwork

Nadia Polikarpova: Creating New Languages for Programming

Women in Science (Audio)

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]

3mins

2 Jan 2019

Most Popular