معرفی
Umut A. Acar is a Professor at the Computer Science Department, Carnegie Mellon University, and an Amazon Scholar. His research focuses on bridging formal methods with systems, algorithms, and AI, aiming to integrate safety and performance in parallel computing.
His research spans multiple domains:
- Quantum Computing: Developing optimization techniques for quantum circuits (e.g., Quartz, Atlas).
- Self-Adjusting Computation: Advancing dynamic algorithms and incremental programming frameworks (e.g., Diderot, MPL).
- Concurrency & Parallelism: Designing efficient scheduling mechanisms and disentanglement strategies.
Recent publications highlight his work on parallel functional programming, quantum simulation, and cache coherence optimization. Notable awards include Best Paper (QCE 2025), Distinguished Paper (POPL 2024), and the Intel Award (2022).
He advises PhD students like Pengyu Liu and Mingkuan Xu, and has mentored alumni now at institutions such as NYU, Google, and Inria. His lab collaborates on projects like Diderot (AI/ML) and MPL (parallelism management).
