Ep 21: High-assurance Computer Architectures with Dr. Caroline Trippel, Stanford University

Dr. Caroline Trippel is an Assistant Professor in the Computer Science and Electrical Engineering Departments at Stanford University. Caroline's research operates at the critical intersection of hardware and software, focusing on developing high-assurance computer architectures. Her work tackles the challenge of ensuring that complex hardware designs are correct and secure. She has pioneered automated tools that bridge the gap between a processor's implementation (its RTL) and its formal specification, as well as frameworks and compilers that find and mitigate hardware-related security vulnerabilities in software.

You can listen to Ep 21: High-assurance Computer Architectures with Dr. Caroline Trippel, Stanford University online on Radio and Podcast. Open the player on this page to stream the available audio.

Ep 21: High-assurance Computer Architectures with Dr. Caroline Trippel, Stanford University is an episode from Computer Architecture Podcast by comparchpodcast.

This episode is 61:01 long.

This episode was published on Oct 1, 2025.

Yes. Use the heart button on the episode page to add it to your favorite episodes list.

Yes. This page shows related episodes from Computer Architecture Podcast when more episodes are available from the podcast feed.