1
talks
0
committee roles
0
leadership roles
2025–2025
years active
Contributions
QIP QCrypt TQC presenter award · △program ◇steering ○organising □local · filled = chair
Talks
| Title | Conference | Type | Co-authors |
|---|---|---|---|
| Automatic generation of classical invariants of quantum programs | QIP 2025 | regular | ▸Matthew Amy |
Collaborators
| Co-author | Joint talks |
|---|---|
| Matthew Amy | 1 |