3
collaborators
2020–2020
years active
Contributions
QIP QCrypt TQC talk poster presenter award · △program ◇steering ○organizing · filled = chair
1 Poster
| Title | Conference | Co-authors |
|---|---|---|
| Model Checking Applied to Quantum Physics | QIP 2020 | Yuan Feng, Andrea Turrini, Mingsheng Ying |
Collaborators
| Co-author | Joint talks |
|---|---|
| Andrea Turrini | 1 |
| Mingsheng Ying | 1 |
| Yuan Feng | 1 |