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
View general profile