SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
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.

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.

Country: United States

Affiliation: University of Chicago

Personal website: http://people.cs.uchicago.edu/~rand/

Twitter: https://twitter.com/certifiablyrand

GitHub: https://github.com/rnrand

Research interests: Quantum Computing, Formal Verification, Programming Languages

Contributions

SPLASH 2020Committee Member in External Review Committee within the OOPSLA-track
Session Chair of R-4 (part of OOPSLA)
Show activities from other conferences

Using general profile