1
talks
0
committee roles
0
leadership roles
2016–2016
years active
Contributions
QIP QCrypt TQC presenter award · △program ◇steering ○organising □local · filled = chair
Talks
| Title | Conference | Type | Co-authors |
|---|---|---|---|
| Quantum Boxes: A Framework for Modeling and Composing Quantum Reactive Systems | QIP 2016 | regular | ▸Christopher Portmann, Christian Matt, Ueli Maurer, Renato Renner |
Collaborators
| Co-author | Joint talks |
|---|---|
| Christian Matt | 1 |
| Christopher Portmann | 1 |
| Renato Renner | 1 |
| Ueli Maurer | 1 |