ICSE 2025
Sat 26 April - Sun 4 May 2025 Ottawa, Ontario, Canada
Robert Rand

Registered user since Thu 17 Dec 2015

Name:Robert Rand
Bio:

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. I lead the Chicago Quantum Programming Languages Laboratory (ChiQP).

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, the VOQC verified optimizing compiler, the high-level quantum programming language Qunity, and the BellKAT quantum network specification language. I’m currently interested in verified optimization, error-correction, type systems, and programming abstractions for quantum computing.

Country:United States
Affiliation:University of Chicago
Research interests:Quantum Computing, Formal Verification, Programming Languages

Contributions

Show activities from other conferences

Using general profile