St.Petersburg, Russia
November 14–15, 2019

Submissions

Automated Generation of Quantum Circuit Specifications Based on Reed-Muller Expressions

  • Programming / Tools
  • Software Architecture

The current situation in quantum computing will described in the presentation and perhaps conference participants will find out new information from promising area of realization and programming of quantum computers. The experience of the development of the modular system for automatic generation of quantum circuit specifications which are used as a basis for the logical representation of the quantum computing process will be presented. The presentation discusses the proposed methods for automatic minimization of quantum circuits based on scalable templates, their evaluation and automatic verification.

SECR speaker|спикер конференции

Hidden speaker