1
collaborator
2025–2025
years active
Contributions
QIP QCrypt TQC talk poster presenter award · △program ◇steering ○organizing · filled = chair
1 Talk
| 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 |