Ye Olde Green Wave Forum

The DEFINITIVE Tulane discussion forum
It is currently Sun May 19, 2019 10:41 pm

All times are UTC - 6 hours [ DST ]

Post new topic Reply to topic  [ 1 post ] 
Author Message
PostPosted: Tue Jan 02, 2018 2:37 pm 
Regent's Circle
User avatar

Joined: Fri Jun 25, 2004 12:54 pm
Posts: 7544
Location: Dripping Springs

'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.

Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 1 post ] 

All times are UTC - 6 hours [ DST ]

Who is online

Users browsing this forum: No registered users and 1 guest

You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum

Jump to:  
Powered by phpBB® Forum Software © phpBB Group