FURI | Spring 2019

Qurry: A Quantum Probabilistic Programming Language

Health icon, disabled. A red heart with a cardiac rhythm running through it.

Quantum programming languages are a relatively recent innovation which allows arbitrarily accurate modeling of the physical world. However, these languages are largely still in early development: any lack of true abstraction and are simply proxies to circuit languages and are hardly intuitive. There is reason for this, primarily because the desired semantics of a quantum programming language are not yet completely crystallized. This paper focuses on the creation of “lightweight abstractions,” which allow human-level understanding without sacrificing low-level control. Additionally, this project describes a framework which is meant to catalyze the development of quantum programming languages.

Student researcher

Lucas Saldyt

Computer science

Hometown: Mesa, Arizona

Graduation date: Spring 2020