Academic Background: Ph.D. in Computer Science, Princeton University, 2019; B.S., Purdue University.
Research Interests: Computer architecture, hardware security, and formal verification; focuses on memory consistency models.
Appointments: Assistant Professor of Computer Science, Stanford University.
Awards: NVIDIA Graduate Fellowship; ACM SIGARCH/IEEE TCCA Outstanding Dissertation Award.
Publications: Key papers in ISCA, MICRO, ACM Transactions on Architecture; co-developer of CheckMate verification tool.
Additional Contributions: Mentor for women in computing; contributor to open-source hardware verification tools.