Robert Rand
Assistant Professor Of Computer Science at University of Chicago
Chicago, Illinois, United States
Summary
👤
Senior🎓
Top SchoolRobert Rand is an assistant professor of computer science at the University of Chicago who blends programming languages, formal verification, and quantum computing in both research and teaching. With 11 years of experience spanning academia and industry, he developed the SQIR language and VOQC compiler during a postdoc at Maryland and has collaborated with leading PL and quantum researchers. His background includes practical work on programming-language features for Excel at Microsoft and data-science engineering early in his career, giving him a rare mix of theoretical depth and product-minded implementation. He holds a PhD from the University of Pennsylvania and regularly applies formal methods to make quantum software more reliable and auditable. Colleagues describe him as someone who translates abstruse proofs into usable tooling—a skill reflected in his open-source contributions to quantum compilers and verification stacks. Based in Chicago, he continues to supervise students and build reproducible infrastructure at the intersection of PL and quantum systems.
11 years of coding experience
4 years of employment as a software developer
B.A., Mathematics, Computer Science, B.A., Mathematics, Computer Science at Yeshiva UniversityDoctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at University of Pennsylvania
English, German, Hebrew, Esperanto
Stackoverflow
376reputation
4kreached
3answers
10questions
Github Skills (55)
intermediate10
formal-verification10
coq10
compiler-construction10
quantum-computing10
proof-assistant9
quantum-algorithms9
dependent-types9
algorithms9
ranking9
react9
science9
theorem-proving9
rmarkdown8
computer-science8
Programming languages (7)
Github contributions (5)
rnrand/webpage-hugo
Jul 2021 - Jun 2026
Contributions:20 pushes, 1 branch in 4 years 11 months
inQWIRE/QuantumLib
Sep 2018 - Dec 2022
Coq library for reasoning about quantum programs
Contributions:74 commits, 5 PRs, 6 pushes in 4 years 3 months
coq-library
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.