Write a Blog >>
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 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
Research interests:Formal Verification, Probabilistic Programming

Contributions

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

POPL 2016-profile
View general profile