Search

Home > Computer Architecture Podcast > Ep 21: High-assurance Computer Architectures with Dr. Caroline Trippel, Stanford University
Podcast: Computer Architecture Podcast
Episode:

Ep 21: High-assurance Computer Architectures with Dr. Caroline Trippel, Stanford University
Category: Technology
Duration: 01:01:01
Publish Date: 2025-10-01 03:18:57
Description:

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.
Total Play: 0