Issued Patents 2016
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9514415 | Method and system for decomposing single-qubit quantum circuits into a discrete basis | Alexei Bocharov, Krysta Svore | 2016-12-06 |
| 9372785 | Identifying implicit assumptions associated with a software product | Rui WANG, Yuchen Zhou, Shuo Chen, Shaz Qadeer | 2016-06-21 |