Must be in the Computer Science Master's or Doctoral program; or permission of the instructor.

This course explores topics in quantum computer systems design, including quantum programming, formal verification, compilation, operating systems, and error correction. Students will read and discuss selected research papers and undertake a semester-long research project, individually or in groups. A background in probability, linear algebra, and software systems (PL, architecture, or OS) is expected. Prior experience in quantum computing is helpful but not required.