2
collaborators
2014–2014
years active
Contributions
QIP QCrypt TQC talk poster presenter award · △program ◇steering ○organizing · filled = chair
1 Poster
| Title | Conference | Co-authors |
|---|---|---|
| Verification of Quantum Protocols using Coq | QIP 2014 | Jaap Boender, Rajagopal Nagarajan |
Collaborators
| Co-author | Joint talks |
|---|---|
| Jaap Boender | 1 |
| Rajagopal Nagarajan | 1 |