Robert W. Rand
- Qunity: A Unified Language for Quantum and Classical Computing (Extended Version)
2022/04/26 by Finn Voichick, Liyi Li, Voichick, Finn +5 · 10 citations
Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph)
- Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs
2021/01/22 by Aarthi Sundaram, Robert W. Rand, Robert Rand +8 · 2 voices · 2 citations
Computer Science · Engineering · Physics and Astronomy · #Computability, Logic, AI Algorithms #Low-power high-performance VLSI design #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Mechanics and Applications
- A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm
2022/04/14 by Yuxiang Peng, Peng, Yuxiang, Kesha Hietala +11 · 2 citations
Computer Science · #Quantum Computing Algorithms and Architecture #Logic, programming, and type systems #Cryptography and Data Security
- Verification Logics for Quantum Programs
2019/04/08 by Robert W. Rand, Rand, Robert · 1 citation
Computer Science · #Quantum Computing Algorithms and Architecture #Computability, Logic, AI Algorithms #Logic, programming, and type systems
- VyZX: Formal Verification of a Graphical Quantum Language
2023/11/20 by Adrian Lehmann, Ben Caldwell, Lehmann, Adrian +9 · 1 citation
Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Formal Methods in Verification