A Design Language for Quantum Computing

Award Information
Agency: Department of Defense
Branch: Defense Advanced Research Projects Agency
Contract: DAAH0102CR161
Agency Tracking Number: 02SB1-0196
Amount: $98,952.00
Phase: Phase I
Program: SBIR
Awards Year: 2002
Solicitation Year: N/A
Solicitation Topic Code: N/A
Solicitation Number: N/A
Small Business Information
Odyssey Research Assoc., Inc.
33 Thornwood Drive, Suite 500, Ithaca, NY, 14850
DUNS: 101321479
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Matthew Stillerman
 Sr. Principal Scientist
 (607) 257-1975
Business Contact
 Richard Smith
Title: Controller
Phone: (607) 257-1975
Email: rick@oracorp.com
Research Institution
"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
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government