058 - Scaling the Everest of software security with Dr. Jonathan Protzenko

058 - Scaling the Everest of software security with Dr. Jonathan Protzenko

When people first started making software, computers were relatively rare and there was no internet, so programming languages were designed to get the job done quickly and run efficiently, with little thought for security. But software is everywhere now, from our desktops to our cars, from the cloud to the internet of things. That’s why Dr. Jonathan Protzenko, a researcher in the RiSE – or Research in Software Engineering – group at Microsoft Research, is working on designing better software tools in order to make our growing software ecosystem safer and more secure.

Today, Dr. Protzenko talks about what’s wrong with software (and why it’s vitally important to get it right), explains why there are so many programming languages (and tells us about a few he’s been working on), and finally, acts as our digital Sherpa for Project Everest, an assault on software integrity and confidentiality that aims to build and deploy a verified HTTPS stack.

Denne episoden er hentet fra en åpen RSS-feed og er ikke publisert av Podme. Den kan derfor inneholde annonser.

Episoder(200)

Learn the rules: The hacker mindset

Learn the rules: The hacker mindset

Research Manager Mike Walker reflects on a career spanning hacker culture, cybersecurity, and AI, sharing lessons about trust, teamwork, leadership, and why solving difficult problems requires curiosi...

3 Nov 0s

Microsoft Research Focus – Edition #97

Microsoft Research Focus – Edition #97

Host Sowbhagya Suresh shares some of the latest news and cutting-edge research from across Microsoft—from understanding the challenges facing coding agents to uncovering how people use AI at work and ...

29 Okt 0s

Called to serve: Tech, research, and positive impact with Chris White

Called to serve: Tech, research, and positive impact with Chris White

Lab Director Chris White has worked on research challenges with real-world implications—from new approaches to wartime data analysis to tools for combating human trafficking. He talks to program manag...

20 Okt 38min

What AI gets wrong and what failure teaches us

What AI gets wrong and what failure teaches us

Jennifer Neville did not want to go into computer science—but that’s exactly where she landed. Neville discusses the starts and stops that led to her professional sweet spot and her work identifying “...

6 Okt 39min

Can we AI our way to a more sustainable world?

Can we AI our way to a more sustainable world?

Doug Burger, sustainability expert Amy Luers, and optimization researcher Ishai Menache examine the global emissions implications of datacenter operations, efficiency gains, and AI's potential across ...

20 Apr 1h 1min

Ideas: Steering AI toward the work future we want

Ideas: Steering AI toward the work future we want

Microsoft Chief Scientist Jaime Teevan and researchers Jenna Butler, Jake Hofman, and Rebecca Janssen unpack the New Future of Work Report 2025 and explore the ideal AI-driven working world. Plus, is ...

9 Apr 54min

Will machines ever be intelligent?

Will machines ever be intelligent?

Are machines truly intelligent? AI researchers Subutai Ahmad and Nicolò Fusi join Doug Burger to compare transformer-based AI with the human brain, exploring continual learning, efficiency, and whethe...

23 Mar 1h 8min

Trailer: The Shape of Things to Come

Trailer: The Shape of Things to Come

Microsoft research lead Doug Burger introduces his new podcast series, The Shape of Things to Come, an exploration into the fundamental truths about AI and how the technology will reshape the future.T...

3 Mar 2min

Populært innen Teknologi

teknisk-sett
energi-og-klima
nasjonal-sikkerhetsmyndighet-nsm
shifter
rss-ai-forklart
rss-kunstig-intelligens-med-elisabeth-maren-og-morten
rss-snakk-om-sikkerhet
teknologi-og-mennesker
lydartikler-fra-aftenposten
elektropodden
tomprat-med-gunnar-tjomlid
rss-alt-som-gar-pa-strom
rss-polypod
pedagogisk-intelligens
fornybaren
rss-ki-til-kaffen
rss-teknologioptimistene-en-podkast-om-teknologi-og-mennesker
rss-digitaliseringspodden
rss-ki-praten
i-loopen