Supercomputing and Computation


ASTEQC (Automated Software Tools for Engineering Quantum Computers)

Problem Statement:

  • The feasibility of quantum computing depends critically on the computing architecture.  Developing and analyzing new designs is difficult and laborious.

Technical Approach:

  • Develop a software environment for designing and analyzing quantum information systems
  • Give designs formal semantics in terms of quantum-analog-digital (QuAD) transition systems.
  • Develop logical formalism to analyze system dynamics with respect to design criteria.
  • Deploy software on ORNL high-performance computers.


  • Provides quantitative characterization of quantum information systems.
  • Promotes development of quantum computing and related technologies.

We're always happy to get feedback from our users. Please use the Comments form to send us your comments, questions, and observations.