Semantics, Formal Reasoning, and Tool Support for Quantum Programming
Abstract
The recommended proposal addresses a large part of the Research Concentration Areas of the BAA by putting forth these research topics: (1 ) formal foundations and various mathematical semantics models for describing and reasoning about behaviors of quantum programs and protocols; (2 ) new classes of dependent types to accommodate various features of quantum programming and to facilitate formal verification; ( 3 ) non-locality and contextuality and how its properties, such as semantics, can be accounted for in quantum computing/ programming.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Mar 23, 2016
- Source ID
- FA95501610082
Entities
People
- Michael William Mislove
Organizations
- Air Force Office of Scientific Research
- Tulane University of Louisiana
- United States Air Force