1
talks
1
committee roles
0
leadership roles
1999–1999
years active
Contributions
QIP QCrypt TQC presenter award · △program ◇steering ○organising □local · filled = chair
Talks
| Title | Conference | Type | Co-authors |
|---|---|---|---|
| A simple example of definitions of truth, validity, consistency, and completeness in quantum mechanics | QIP 1999 | invited | — |
Besides their use for efficient computation, quantum computers are a base for studying quantum systems that create valid physical theories using mathematics and physics. An essential part of the validation process for quantum mechanics is the development of a coherent theory of mathematics and quantum mechanics together. |
|||
Committee service
| Conference | Committee | Position | Title |
|---|---|---|---|
| QIP 1999 | PC | member | — |