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