Restriction: Must be in the Graduate Program in Computer Science. All other graduate students must request permission.

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.