Professor Caroline Trippel has received an NSF CAREER award to work on "Scalable assurance via verifiable hardware-software contracts."

The National Science Foundation (NSF) Faculty Early Career Development (CAREER) Program is a Foundation-wide activity that offers the National Science Foundation's most prestigious awards in support of early-career faculty who have the potential to serve as academic role models in research and education and to lead advances in the mission of their department or organization. Activities pursued by early-career faculty should build a firm foundation for a lifetime of leadership in integrating education and research.

Caroline's research has influenced the design of the RISC-V ISA memory consistency model both via her formal analysis of its draft specification and her subsequent participation in the RISC-V Memory Model Task Group. Additionally, her work produced a novel methodology and tool that synthesized two new variants of the now-famous Meltdown and Spectre attacks.

Please join us in congratulating Caroline on her well-deserved award.

National Science Foundation Award Abstract, “CAREER: Scalable Assurance via Verifiable Hardware-Software Contracts”