A Design Language for Quantum Computing

Award Information
Agency:
Department of Defense
Branch
Defense Advanced Research Projects Agency
Amount:
$98,952.00
Award Year:
2002
Program:
SBIR
Phase:
Phase I
Contract:
DAAH0102CR161
Award Id:
58379
Agency Tracking Number:
02SB1-0196
Solicitation Year:
n/a
Solicitation Topic Code:
n/a
Solicitation Number:
n/a
Small Business Information
Odyssey Research Assoc., Inc. (Currently ATC-NY, INC.)
33 Thornwood Drive, Suite 500, Ithaca, NY, 14850
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
101321479
Principal Investigator:
Matthew Stillerman
Sr. Principal Scientist
(607) 257-1975
matt@oracorp.com
Business Contact:
Richard Smith
Controller
(607) 257-1975
rick@oracorp.com
Research Institution:
n/a
Abstract
"Current techniques for defining and specifying quantum algorithms are imprecise and to some degree informal, which causes a number of problems: informal descriptions can be ambiguous and difficult to understand, cannot be supported by automated tools (forcomputer algebra, simulation, etc.), and will not scale up as programming tasks become more complex. Formal notations are required, including design techniques familiar from classical programming (modularity, the ability to use different levels ofabstraction) and new techniques for dealing with {\em hybrid\/} calculations that have both classical and quantum components. Since quantum algorithms are more like circuits than like software, we propose to define such a notation and base it on thehardware description language VHDL (for which ATC-NY has developed a mathematical semantics and sophisticated automated analysis tools). We call the notation QHDL (Quantum Hardware Description Language). Phase I work will produce a preliminary design forQHDL and an informal semantics for its type system. It will implement a parser and provide a top-level design for other tools, including a typechecker. The tool set will support techniques for developing algorithms by modifying existing algorithms and bysynthesizing existing components. QHDL will provide two things that the research and engineering communities in quantum computing currently lack: a shared language of interchange (communication) and

* information listed above is at the time of submission.

Agency Micro-sites


SBA logo

Department of Agriculture logo

Department of Commerce logo

Department of Defense logo

Department of Education logo

Department of Energy logo

Department of Health and Human Services logo

Department of Homeland Security logo

Department of Transportation logo

Enviromental Protection Agency logo

National Aeronautics and Space Administration logo

National Science Foundation logo
US Flag An Official Website of the United States Government