awards

Our group has been recognized by the following awards and distinctions:

• Steven Holtzen received the NSF CAREER award in 2025.
• Minsung Cho received first place at the Student Research Competition at PLDI 2023.
• IEEE Micro Top Picks 2022 Honorable Mention for Logical Abstractions for Noisy Variational Quantum Algorithm Simulation.
• UCLA Outstanding Graduating PhD. Student for 2021 awarded to Steven Holtzen.
• ACM SIGPLAN Distinguished Paper Award awarded for Scaling Exact Inference for Discrete Probabilistic Programs at OOPSLA 2020.