Episode 21 of the Computer Architecture Podcast Released! Featuring Guest Dr. Caroline Trippel, Stanford University

Computer Architecture Podcast: A series of conversations on cutting-edge work in computer architecture and the remarkable people behind it.

Announcing the release of Episode 21: High-assurance Computer Architectures with Dr. Caroline Trippel, who 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.

Listen to the episode at https://comparchpodcast.podbean.com. Also available on your favorite podcast player — iTunes, Spotify, Stitcher, etc.