Robert Rand
Robert Rand
Courses
Publications
Talks
Service
ChiQP Lab
CV
Light
Dark
Automatic
6
Phantom Types for Quantum Programs
Robert Rand
,
Jennifer Paykin
,
Steve Zdancewic
PDF
Cite
Slides
Video
Models for Probabilistic Programs with an Adversary
Robert Rand
,
Steve Zdancewic
PDF
Slides
«
Cite
×