2025 Best paper award (QCE 2025 Project on Local Quantum Circuit Optimization); 2025 PC Chair for SPAA 2025; 2024 Best paper award (QCE 2024 Project on Sparse Quantum Simulation); 2024 Distinguished paper award (POPL 2024 paper on Project MPL & Automatic Parallelism Management); Sam Westrick wins ACM SIGPLAN Doctoral Dissertation Award; 2022 Distinguished paper award (ICFP 2022 paper on MPL & Disentanglement); 2022 Intel Award (Project MPL & Disentanglement); 2021 JP Morgan Chase AI Award (Project Diderot); 2021 Distinguished paper award (POPL 2021 paper on MPL & Disentanglement); 2020 ACM SIGPLAN Research Highlight (PPOPP 2019 on Heartbeat Scheduling).
Research Experience
Professor at CSD, Carnegie Mellon University; Amazon Scholar; Supervised multiple PhD students, master's students, and postdoctoral researchers.
Background
Research interests include formal methods, systems, algorithms, and AI. The primary research goal is to bridge safety and performance, rather than sacrificing one for the other.
Miscellany
Teaching: Quantum Computing Systems (15-898); Parallel and Sequential Data Structures and Algorithms (15-210); Parallelism and Concurrency (15897)