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 programs and types for quantum programming languages

To add/read comments to this page or (in particular) the research papers on this page, please click here. (I've decided to generally annotate papers using in the hope that the comments prove useful and create discussion around those papers. I encourage you to add a link to your website!)


Work in Progress

Workshops, Presentations and Posters