Robert Rand

PhD Student
Computer and Informations Science
University of Pennsylvania

Email: rrand AT
Office: Levine 513

I am a PhD student in the Programming Languages Research Group at the University of Pennsylvania, advised by Dr. Steve Zdancewic . My main interest is in formal verification, particularly of probabilistic, non-deterministic and quantum programs. My recent work has revolved around QWIRE ("choir"), a quantum circuit language and verification tool that I developed jointly with Jennifer Paykin.


Work in Progress

Workshops, Presentations and Posters