Tulane receives $3.67MM grant for Quantum Computing --

Discuss today what is happening on campus non-athletically; departments, non-athletic facilities, professors, recognitions and issues. No athletics allowed.
Post Reply
User avatar
sr
Regent's Circle
Posts: 8018
Joined: Fri Jun 25, 2004 12:54 pm
Location: Dripping Springs

Tulane receives $3.67MM grant for Quantum Computing --

Post by sr »

https://news.tulane.edu/pr/tulane-award ... -computing

'Semantics, Formal Reasoning, and Tools For Quantum Programming'
The looming appearance of universal quantum computers makes it is imperative to devise methods for correctly programming such devices. Quantum algorithms are complex, and quantum computers explore alternative computation branches in superposition, so programming mistakes in even minor parts of the code can alter the quantum state and invalidate the final result. Debugging is inappropriate in the quantum setting, since it requires examining the program state, and besides the high cost of early quantum computers will make trial runs prohibitively expensive. The goal of this project is to devise novel methods for ensuring quantum programs are correct. We will use emerging alternative models for quantum computing that we are developing to devise methods to reason effectively about quantum computations, and we test our methods on the functional quantum programming language Quipper.
Post Reply