2
collaborators
2024–2024
years active
Contributions
QIP QCrypt TQC talk poster presenter award · △program ◇steering ○organizing · filled = chair
1 Poster
| Title | Conference | Co-authors |
|---|---|---|
| On the Quantum Automatability of Propositional Proof Systems | QIP 2024 | Gaia Carenini, Matthew Gray |
Collaborators
| Co-author | Joint talks |
|---|---|
| Gaia Carenini | 1 |
| Matthew Gray | 1 |