6696_rand-preferred-head-768x768.jpeg

Robert Rand

Programming Languages Quantum Computing Quantum Programming Languages Quantum Algorithms
University of Chicago Department of Computer Science

About

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

Research Performance Summary

50
Total Papers
1118
Total Citations
15
H-Index
2009-2026
Active Research Span

First Recorded Paper

Terminal games with three terminals have proper Nash equilibria

Year: 2009

Citations: 13

Venue: RUTCOR Research Report, RRR-22-2009, Rutgers University

Latest Recorded Paper

Efficiently Verifying Quantum Programs with Few T Gates

Year: 2026

Citations: 0

Venue: International Conference on Verification, Model Checking, and Abstract

Last 10 Years Publication Activity

This timeline shows the professor's yearly publication activity.

2026
2
2025
2
2024
3
2023
8
2022
9
2021
7
2020
2
2019
5
2018
3
2017
2
2016
1

Publication Venues and Collaboration

Journal, Conference, and Book Publication Breakdown

Conference 21
Journal 2
Book 3

Top Coauthors

Rand Hietala Hicks

Research Impact by Period

2025-2026

Period Stats
Papers 4
Citations 0
Avg. Citations / Paper 0
H-Index 0

2020-2024

Period Stats
Papers 29
Citations 503
Avg. Citations / Paper 17.3
H-Index 10

2015-2019

Period Stats
Papers 12
Citations 541
Avg. Citations / Paper 45.1
H-Index 9

2010-2014

Period Stats
Papers 4
Citations 61
Avg. Citations / Paper 15.2
H-Index 2

2005-2009

Period Stats
Papers 1
Citations 13
Avg. Citations / Paper 13
H-Index 1

Contact and Professional Links

Contact Information

rand@uchicago.edu

Detected Research Keywords

Types Quantum Programs Verified Optimizer Quantum Optimizer Quantum Circuits Qunity Unified Language Unified Language Quantum Language Quantum Classical Quantum Classical Computing Ordered Direct Implicational Direct Implicational Basis Implicational Basis Finite