Nadia Polikarpova: Creating New Languages for Programming

·4 min

Nadia Polikarpova discusses her work on creating new programming languages like Lifty that use formal verification to automate software development and prevent security errors.

Listen to the show on

Apple Podcasts Spotify