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 (60)
circuit10
dependent-types10
agda10
executable10
sympy10
proofs10
verification10
mathematical10
intermediate10
sat-solver10
formal-verification10
coq10
compiler-construction10
ranking10
quantum-computing10
Programming languages (5)
Github contributions (5)
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-libraryquantum-computingquantum-programsprogramsquantum
inQWIRE/SQIR
Dec 2018 - Sep 2021
A Small Quantum Intermediate Representation
Contributions:6 reviews, 159 commits, 6 PRs in 2 years 9 months
representationquantum-computingquantum-algorithmscompiler-constructionquantum-intermediate-representation
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.