Write a Blog >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais/Lisbon, Portugal
Robert Rand

Registered user since Thu 17 Dec 2015

Name: Robert Rand

Bio: I am a PhD student in the Programming Languages Research Group at the University of Pennsylvania, advised by Dr. Steve Zdancewic. My research interests span probability theory, quantum computing, programming languages and formal verification. I’m currently working on QWIRE, a quantum programming language embedded in the Coq proof assistant.

Country: United States

Affiliation: University of Pennsylvania

Personal website: http://www.cis.upenn.edu/~rrand/

Research interests: Formal Verification, Probabilistic Programming

Contributions

POPL 2019Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Show activities from other conferences

Using general profile