Robert Rand

PhD Student
Computer and Informations Science
University of Pennsylvania

Email: rrand AT
Office: Levine 513

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, Type Theory, Formal Verification, Probability Theory and Complexity Theory. At the moment, I’m working on verification logics for probabilistic, nondeterministic and quantum programs.


Work in Progress

Workshops, Presentations and Posters