Robert Rand

Robert Rand

Assistant Professor of Computer Science

University of Chicago

My main interest is in applying techniques from programming languages and formal verification to the domain of quantum computation. See my homepage for more information.

  • Quantum Programming
  • Verified Optimization
  • Error Correction
  • Type Systems
  • Programming Abstractions
  • PhD in Computer and Information Sciences, 2018

    University of Pennsylvania

  • BA in Computer Science and Mathematics, 2011

    Yeshiva University