Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Wed 20 Oct 2021 10:20 - 10:50 at Zurich C - AMA Session Chair(s): Jonathan Aldrich

I am an Assistant Professor of Computer Science at the University of Chicago, part of the Programming Languages Research Group and the Chicago Quantum Exchange.

My main interest is in applying techniques from programming languages and formal verification to the domain of quantum computation. Some of my major projects include the QWIRE quantum circuit language (with Jennifer Paykin) and the VOQC verified optimizing compiler (with Kesha Hietala). I’m currently interested in verified optimization, error-correction, type systems, and programming abstractions for quantum computing.

Wed 20 Oct

Displayed time zone: Central Time (US & Canada) change

10:20 - 10:50
AMA SessionAsk Me Anything (AMA) at Zurich C
Chair(s): Jonathan Aldrich Carnegie Mellon University
Live Q&A
Invited SpeakerAMAIn-Person
Ask Me Anything (AMA)
Robert Rand University of Chicago