Verification of intermediate models of quantum computing

Animesh Datta, University of Warwick

I will present our results on the verification of the DQC1 model of quantum computation. I will start with a brief description of the model and outline the strategy we employ. I will point out some of the strengths and limitations of our strategy, and draw connections with other strategies. I will also highlight the role of our work within the Networked Quantum Information Technologies Hub of the UK National Quantum Technologies Programme.

S M T W T F S
28
29
30
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
  1. 2019 (106)
    1. November (1)
    2. October (1)
    3. September (1)
    4. August (3)
    5. July (15)
    6. June (14)
    7. May (15)
    8. April (15)
    9. March (11)
    10. February (20)
    11. January (12)
  2. 2018 (148)
    1. December (8)
    2. November (20)
    3. October (10)
    4. September (10)
    5. August (10)
    6. July (11)
    7. June (9)
    8. May (13)
    9. April (16)
    10. March (17)
    11. February (14)
    12. January (13)
  3. 2017 (135)
  4. 2016 (94)
  5. 2015 (85)
  6. 2014 (97)
  7. 2013 (92)
  8. 2012 (125)
  9. 2011 (117)
  10. 2010 (41)
  11. 2009 (4)
  12. 2008 (1)
  13. 2007 (1)
  14. 2005 (1)
  15. 2004 (3)