Robert Rand | search
Click here to view Robert Rand news from 60+ newspapers.
Bookmark or Share- Robert RandCurriculum Vitae: Robert Rand 3 Robert Rand, Verified Quantum Computing. Principles of Programming Languages, 2020. Robert Rand, Quantum Circuits and Quantum Programs; Robert Rand, Formally Verified Quantum Computing. Win-ter School on Quantum Computing at Emory, 2020.
- Robert RandTwo of my main projects are the QWIRE quantum circuit language (with Jennifer Paykin) and the VOQC verified optimizing compiler (with Kesha Hietala). I’m currently interested in verified optimization, error-correction, type systems and programming abstractions for quantum computing.
- Automated Proof Generation for Associative and Distributive Rewriting ...Adrian Lehmann, Ben Caldwell, John Reppy, Robert Rand. January 2024 PDF Cite Video Type. Workshop paper Publication. E-Graph Research, Applications, Practices, and Human-factors (EGRAPHS) Published with Wowchemy — the free, open source website builder that empowers creators. ...
- Search - Robert RandRecent and Upcoming Talks. Verifying Graphical Quantum Calculi in a Proof Assistant. Quantum Circuit Design Automation, Banff International Research Station, 2024. Verifying the ZX-calculus and its Friends. Running HoTT, NYU Abu Dhabi, 2024. Quantum Computing from a PL Perspective.
- An Algebraic Language for Specifying Quantum Networks - Robert RandAnita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Soulé, Robert Rand, Patrick Eugster. January 2024 PDF Cite Abstract. Quantum networks connect quantum capable nodes in order to achieve capabilities that are impossible only using classical information. Their fundamental unit of communication is the Bell pair, which consists of two ...
More
