Congratulations to Professor Caroline Trippel! She has received an Intel 2023 Outstanding Researcher Award (ORA). The annual award program recognizes the exceptional contributions made through Intel university-sponsored research that help further Intel’s mission of creating world-changing technology that improves the lives of everyone on the planet.

“Intel’s academic research projects are a core part of the company’s strategy to explore critical research paths,” said Dr. Aravind Dasu, co-director of Intel's Corporate Research Council.

“We are pleased to recognize the important contributions of these carefully selected researchers in our 2023 Outstanding Researcher Awards. We wish them each sincere congratulations,” said Dr. Henning Braunisch, co-director of Intel's Corporate Research Council.

A central theme of Caroline’s work is leveraging formal methods techniques to design and verify hardware systems in order to ensure that they can provide correctness and security guarantees for the applications they intend to support. Additionally, she is exploring the role of architecture in enabling privacy-preserving machine learning, the role of machine learning in hardware systems optimizations, particularly in the context of neural recommendation, and opportunities for improving datacenter and at-scale machine learning reliability.

Caroline's ORA project is 'Automatically Extracting Formal Processor Models from Verilog RTL for Scalable Hardware Security Verification'

Please join us in congratulating Caroline!

Excerpted from 'Intel’s 2023 Outstanding Researcher Awards’