Ep 21: High-assurance Computer Architectures with Dr. Caroline Trippel, Stanford University
About this episode
Dr. Caroline Trippel discusses her research on high-assurance computer architectures and the intersection of hardware and software.
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.
More episodes of Computer Architecture Podcast
- Ep 24: From Unicorns to Centaurs: Codesigning Computer Systems for the AI Era with Dr. Partha Ranganathan, Google
- Ep 22: Measuring Datacenter Efficiency and Visioning the Future of Computer Architecture with Dr. Babak Falsafi, EPFL
- Ep 20: The Tech Transfer Playbook – Bridging Research to Production with Dr. Ricardo Bianchini, Microsoft
- Ep 19: Memory Management and Software Reliability with Dr. Arkaprava Basu, Indian Institute of Science
- Ep 18: Codesign for Industrial Robotics and the Startup Pivot with Dr. Dan Sorin, Duke University
- Ep 17: Architecture 2.0 and AI for Computer Systems Design with Dr. Vijay Janapa Reddi, Harvard University
Explore listener stats, chart rankings, contacts and more on the Computer Architecture Podcast podcast page.