News & updates
From the group
Research announcements, project updates, and milestones.
- Forthcoming conferenceOur paper A Control Protocol for Wide-Area Quantum Links has been accepted for SIGMETRICS 2027 and will appear in POMACS. The conference will take place June 7–11, 2027. Paper details.
- I am co-organizing Quantum Technologies for Precision Oncology, November 5–6, 2026, in Washington, DC. We will give a live demonstration of applying QIHD to cancer treatment planning.
- Our paper A Scalable Open-Source QEC System with Sub-Microsecond Decoding-Feedback Latency was accepted for presentation at IEEE Quantum Week (QCE 2026). It presents an integrated platform for real-time qubit control, communication, and decoding. Conference program.
- MasuGate is public: stateful governance for concurrent AI agents, with an interactive demo, open-source implementation, and research paper.
- Our RISC-Q paper was accepted for presentation at DAC 2026. RISC-Q is an open-source generator for real-time quantum control systems compatible with the RISC-V ecosystem.
- Our QHD-based application for accelerating cancer treatment planning in radiation oncology has advanced to the final stage of the NIH Quantum Computing Challenge. Read about QHD and QIHD in treatment planning.
- Our paper Crosstalk-Robust Dynamical Decoupling for Bipartite Topology Quantum Processors has been published in Physical Review Applied 25, 064041 (2026). It introduces a pulse-timing approach to improve protection against crosstalk on quantum processors.
- BCG highlights quantum-inspired Hamiltonian descent for financial portfolio optimization, reporting faster convergence and improved risk–return trade-offs over Monte Carlo sampling on classical hardware.
- I co-organized Beyond Gate-Based Quantum Computing: Defining Quantum Advantage in the Pre-Fault Tolerant Era at KITP, UC Santa Barbara, May 4–7, 2026. The workshop explored quantum advantage through hybrid analog–digital approaches, error mitigation, and pulse-level control. Recordings and slides.
- QLab featured our work on end-to-end quantum estimation of the pseudospectra of non-Hermitian systems. The framework combines singular-value estimation with dissipative state preparation and demonstrates the full pipeline on IonQ Forte. Read the paper.
- Our papers On the Computational Complexity of Schrödinger Operators and A quantum central path algorithm for linear optimization will be presented as contributed talks at QIP 2025.
- I am co-organizing the Advancing Quantum Computation Beyond Gate-Model (BGM 2024) workshop on October 7–9, 2024, at the University of Maryland, College Park. Please register for the workshop if you are interested in attending.
- Our paper Differentiable Quantum Computing for Large-scale Linear Control will appear at NeurIPS 2024.
- Our paper QHDOPT: A Software for Nonlinear Optimization with Quantum Hamiltonian Descent will appear in the INFORMS Journal on Computing.
- Our paper Efficient Routing on Quantum Networks using Adaptive Clustering will appear at the 32nd IEEE International Conference on Network Protocols (ICNP 2024).
- Our paper Microwave signal processing using an analog quantum reservoir computer will appear in Nature Communications.
- Our paper Qafny: A Quantum-Program Verifier will appear at the 38th European Conference on Object-Oriented Programming (ECOOP 2024).
- Our papers SimuQ: A Framework for Programming Quantum Hamiltonian Simulation with Analog Compilation and A Case for Synthesis of Recursive Quantum Unitary Programs will appear at the 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024).
- Our paper Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium, to appear at CRYPTO 2023, describes how formal verification uncovered a serious bug in the security proof for Dilithium and helped us fix it. Dilithium is one of the post-quantum digital signature schemes selected by NIST.
- Our paper Analyzing Convergence in Quantum Neural Networks: Deviations from Neural Tangent Kernels will appear at ICML 2023.
- I am honored to receive a Sloan Research Fellowship.
- We introduce SimuQ, our domain-specific programming language for quantum simulation. SimuQ supports analog compilation through a new abstraction, the abstract analog instruction set (AAIS), which models the programmability of heterogeneous analog quantum devices.
- Our paper Distributed Quantum Sensing Network with Geographically Constrained Measurement Strategies will appear at the IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2023).
- Explore our Quantum Hamiltonian Descent project and my talk at the Fields Institute.
- Our paper A Convergence Theory for Over-parameterized Variational Quantum Eigensolvers will appear at QIP 2023.
- Our paper Differentiable Analog Quantum Computing for Optimization and Control will appear at NeurIPS 2022 as a featured paper.
- Our paper Verified Compilation of Quantum Oracles will appear at OOPSLA 2022.
- Our paper Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra will appear at the 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2022).
- Our paper Constant-round Blind Classical Verification of Quantum Sampling will appear at EUROCRYPT 2022.
- I gave an invited talk in a special session on quantum machine learning at the 40th International Conference on Computer-Aided Design (ICCAD 2021). View the slides or watch the recording.
- Our paper EasyPQC: Verifying Post-Quantum Cryptography will appear at the ACM Conference on Computer and Communications Security (CCS 2021).
- Congratulations to Shouvanik Chakrabarti on receiving the J.P. Morgan Chase FLARE Fellowship.
- Congratulations to Jiaqi Leng on his first QIP talk, Quantum Algorithms for Escaping from Saddle Points.
- Congratulations to Yuxiang Peng on winning second place in the Student Research Competition at POPL 2021.
- Our paper A Verified Optimizer for Quantum Circuits received a distinguished paper award at POPL 2021.
- I delivered a tutorial on the intersection of quantum computing and programming languages at POPL 2021. View the slides or watch the recording.
- Our paper Sublinear Classical and Quantum Algorithms for General Matrix Games will appear at the 35th AAAI Conference on Artificial Intelligence (AAAI 2021).
- I am honored to receive support from the AFOSR Young Investigator Research Program (YIP) to develop formal methods for automated security analysis of cryptographic systems under quantum attacks.
- Our paper A Verified Optimizer for Quantum Circuits will appear at the 48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021).
- Our paper Simulating large quantum circuits on a small quantum computer appears in Physical Review Letters.
- Our paper On the Principles of Differentiable Quantum Programming Languages will appear at the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020).
- I am honored to receive an NSF CAREER award (CCF-1942837) to investigate the foundations of end-to-end quantum applications.
- Our paper Quantum algorithm for estimating volumes of convex bodies will be presented as a single-track talk at QIP 2020.
- An extended abstract of our paper Verified Optimization in a Quantum Intermediate Representation will appear at Quantum Physics and Logic (QPL 2019).
- Our paper Quantum SDP Solvers: Large Speed-ups, Optimality, and Applications to Quantum Learning will appear at ICALP 2019.
- Our paper Quantitative Robustness Analysis of Quantum Programs will appear at the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019).
- Our paper Invariants of Quantum Programs: Characterisations and Generation appeared at the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017).