Robert Rand

Affiliations: 
University of Chicago, Chicago, IL 
Area:
Programming Languages, Formal Verification, Quantum Computing
Google:
"Robert Rand"