Winter School on Quantum Computing at Emory

2020 Winter School on Quantum Computing at Emory (WiSQCE)

 

 

 

Wednesday:

Prof. Franscesco Evangelista (Emory U.)

Prof. Franklin Marquezino (U. Federal do Rio de Janeiro)

Dr. Robert Rand (U. of Maryland)

Prof. Michelangelo Grigni (Emory U.)

Dr. Douglas McClure (IBM)

 

 

Thursday:

Dr. Paul Hilaire (Virgina Tech.)

Dr. Matthias Steffen (IBM)

Dr. Douglas McClure and Dr. Matthias Steffen (IBM)

Dr. Douglas McClure and Dr. Matthias Steffen (IBM)

Dr. Douglas McClure and Dr. Matthias Steffen (IBM)

  • 6:00 – 7:30: Banquet

 

 

Friday:

Prof. Franklin Marquezino (U. Federal do Rio de Janeiro)

  • 10:00 – 11:00: Formally Verified Quantum Computing
  • Please review links below in reference to presentation:

Coqhttps://coq.inria.fr/

Coq textbookhttps://softwarefoundations.cis.upenn.edu/lf-current/index.html

Online VQC textbookhttps://www.cs.umd.edu/~rrand/vqc/index.html

Dr. Robert Rand (U. of Maryland)

Prof. Michael Geller (U. of Georgia)

Dr. Linghua Zhu (Virginia Tech.)

Prof. Francesco Evangelista (Emory U.)

  • 3:30 – 3:45: Conclusion