Carl A. Miller
Joint Center for Quantum Information and Computer Science (QuICS)
Mathematician, NIST Computer Security Division
UMD phone: (301) 405-7367
UMD office: 3100K Atlantic Building
I am also an affiliate
faculty in Mathematics and AMSC and an adjunct in Computer Science and UMIACS.
work on quantum information processing, a field where a
number of different disciplines and styles of thinking converge. My
particular focus is on quantum cryptography, where proving the security of new
protocols often involves some creative and interesting mathematics. I am
interested more generally in applications of higher mathematics to theoretical
Program Chair for QCRYPT 2021;
Program Committee Member for QCRYPT 2023,
QIP 2023, TQC 2022, QCRYPT 2018, QIP 2016, TQC 2016, QCRYPT 2016.
Local or Scientific Organizing Committee Member for TQC 2019, TYQI 2016, and TYQI 2015.
Scientific Lead for the MathQuantum RTG at UMD.
Team Member for the NIST
Postquantum Cryptography Project.
Member for the UMD High
School Mathematics Competition.
mathematics of quantum coin-flipping.
Notices of the American Mathematical Society 69, no. 11, pp.
quantum advantage from rotated measurements.
Yusuf Alnawakhtha, Atul Mantri, Carl A. Miller, Daochen Wang
membership problem for constant-sized quantum correlations is undecidable.
Honghao Fu, Carl A. Miller, William Slofstra.
low-latency device-independent quantum randomness.
Yanbao Zhang, et al.
Physical Review Letters 124,
self-testing of the GHZ state with a proof by diagrams.
Spencer Breiner, Amir Kalev,
Carl A. Miller.
Proceedings of the 15th International Conference on Quantum Physics and
Logic (QPL 2018), EPTCS 287,
security for randomness expansion from the spot-checking protocol.
Carl A. Miller, Yaoyun Shi.
SIAM Journal on Computing 46, No. 4, pp. 1304-1335 (2017).
of graph properties and topological fixed-point theorems.
Foundations and Trends in Theoretical Computer Science 7, No. 4,
pp. 337-415 (2013).
Euler-Poincare bound for equicharacteristic etale sheaves.
(A condensed version of my dissertation.)
Algebra & Number Theory 4, No. 1, 21-45 (2010).
Fu (computer science, graduated in 2021, now a postdoc at MIT)
(applied math, graduated in 2023, now an assistant professor at the University
of British Columbia)
Yusuf Alnawakhtha (computer science)
o Math 312 (Applied
o Math 567 (Introduction
to Coding Theory)
o Math 425 (Introduction
o Math 217 (Linear