Podcast appearances and mentions of nadia polikarpova

Nadia Polikarpova is interviewed by Alejandro Serrano and Niki Vazou. Nadia is an assistant professor at UCSD, where she works on improving how we write programs. They talk about some of her projects, like Hoogle+ and Synquid, and how she approaches teaching about these topics.

In this episode, Bryce and Conor talk about the highlights of 2021.Date Recorded: 2022-01-08Date Released: 2022-01-21C++23C++ RangesC++ Range-v3 cartesian productC++ Range-v3 repeatC++ Range-v3 slidingC++ Range-v3 chunkGenerating Programs from Types (Keynote by Nadia Polikarpova at Haskell eXchange 2021)HoogleHaskell groupCppCast Episode 210: mdspan and /r/cpp with Bryce Adelstein LelbachChangeLog PodcastINCITS Inclusive Terminology Guidelines“Final Solution” Wikipedia pageIntro Song InfoMiss You by Sarah Jansen https://soundcloud.com/sarahjansenmusicCreative Commons — Attribution 3.0 Unported — CC BY 3.0Free Download / Stream: http://bit.ly/l-miss-youMusic promoted by Audio Library https://youtu.be/iYYxnasvfx8

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]

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]

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]

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]