PhD in Computer Science and Engineering2019 – 2025
University of Michigan, Ann Arbor, MI
- Thesis: Streamlining High-Performance Heterogeneous Hardware Design. Advised by Prof. Todd Austin.
Graduate Certificate in Innovation and Entrepreneurship2022 – 2025
University of Michigan, Ann Arbor, MI
BSc in Computer Science with High Distinction2016 – 2019
University of Michigan, Ann Arbor, MI
Zipper: Latency-Tolerant Optimizations for High-Performance Buses2025
ASP-DAC 2025
A bus protocol layer that hides latency; up to 8x speedup at 4.3% logic overhead.
Security Verification of Low-Trust Architectures2023
ACM CCS 2023Distinguished Paper Award
Complete formal verification of a low-trust architecture, from the ISA down to RTL.
Twine: A Chisel Extension for Component-Level Heterogeneous Design2022
DATE 2022
Standard component interfaces and generated control logic; 3x smaller design specifications.