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 interests are in Logical Systems, Formal Verification and Probability Theory. At the moment, I’m working on Hoare Logics and Type Systems for reasoning about probabilistic and nondeterministic programs.

Country: United States

Affiliation: University of Pennsylvania

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

Research interests: Formal Verification, Probabilistic Programming

POPL 2016 Activities

• Author of Models for Probabilistic Programs with an Adversary within the PPS 2016-track in PPS 2016
• Author of T4: Programs and Proofs in the Coq Proof Assistant (Advanced Material) within the Tutorials-track in POPL 2016
• Author of T4: Programs and Proofs in the Coq Proof Assistant within the Tutorials-track in POPL 2016
• Show activities from other conferences