Don Coppersmith

3
h-index
3
Publications
672
Citations

Publications

3 shown

Formal Verification vs. Quantum Uncertainty

Quantum programming is hard: Quantum programs are necessarily probabilistic and impossible to examine without disrupting the execution of a program. In response to this challeng...

2019 Leibniz-Zentrum für Informatik (Schlo... 341 citations

Frequent Co-Authors

Researcher Info

h-index
3
Publications
3
Citations
672
Institution
IBM (United States)

External Links

Impact Metrics

h-index 3

h-index: Number of publications with at least h citations each.