Carl A. Miller
Assistant Research Scientist
Electrical Engineering & Computer Science
Department
University of Michigan, Ann Arbor
Email: carlmi @ umich.edu
Office: 2709 Beyster Bldg.
Phone: 7346477127
Curriculum vitae


Research:
Workshop on Trustworthy Quantum
Information, June 28  July 2, 2015.
My research focus is on quantum information theory, an
interesting field that has a convergence of ideas
from computer science, mathematics, and physics. The main
theme of my research is developing mathematical tools
to solve problems in quantum communication and computation.
I run a research
group on quantum information processing (with
Yaoyun Shi).
My graduate work was in pure mathematics. I wrote my dissertation
on sheaf theory in characteristic p.
Here is a set of talk slides on robust
quantum
random number generation. (Versions of this talk were given
at QIP 2014 and STOC 2014.)
Selected papers:
 General security
for randomness expansion.
Carl A. Miller,
Yaoyun Shi.
 Robust
protocols for securely expanding randomness and distributing
keys using untrusted quantum devices.
Carl A. Miller,
Yaoyun Shi.
 Optimal robust quantum
selftesting by binary nonlocal XOR games.
Carl A. Miller, Yaoyun
Shi.
8th Conference on the Theory of Quantum Computation, Communication
and Cryptography, vol. 22, 254262 (2013).
 Optimal entanglementassisted
oneshot classical communication.
Brett Hemenway, Carl A. Miller,
Yaoyun Shi, Mary Wootters.
Physical Review A 87, 062301 (2013).
 Evasiveness of graph properties
and topological fixedpoint theorems. (Expository.)
Foundations and Trends in Theoretical Computer Science 7
(2011),
No. 4, pp. 337415.
Published May 2013.
 An EulerPoincare bound for
equicharacteristic etale sheaves.
(A condensed version of my dissertation.)
Algebra & Number Theory 4 (2010), No. 1, 2145.
Teaching: