St.Petersburg, Russia
November 14–15, 2019|Санкт-Петербург
14–15 ноября 2019

Talks & master-classes|Доклады и мастер-классы

Automated Generation of Quantum Circuit Specifications Based on Reed-Muller Expressions|Автоматизированная генерация спецификаций квантовых цепей на основе полиномов Рида-Маллера

  • Programming / Tools
  • Accepted|Принят

November 15, 10:15|15 ноября, 10:15
Room IV|IV зал
Add to gCal|Добавить в gCal    Add to iCal/Outlook|Добавить в iCal/Outlook

Discuss the presentation|Обсудить доклад

[lang_en]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.[/lang_en]

[lang_ru]В докладе охарактеризовано современное положение в квантовых вычислениях, и возможно слушатели узнают новую информацию из перспективной области создания и программирования квантовых компьютеров. Будет представлен опыт разработки модульной системы автоматической генерации спецификаций квантовых цепей, используемых в качестве основы для логического представления квантового вычислительного процесса. В докладе рассматриваются предложенные способы по автоматической минимизации квантовых цепей на основе масштабируемых шаблонов, их оценки и верификации.[/lang_ru]

Vitaly Kalmychkov photo|фото Виталий Калмычков

Vitaly Kalmychkov|Виталий Калмычков

Associate professor|Доцент, Saint Petersburg Electrotechnical University «LETI»|СПбГЭТУ «ЛЭТИ»

[lang_ru]Закончил ФАВТ ЛЭТИ. Преподаватель: информатика, программирование, объектно-ориентированное программирование, базы данных. Исследования в области визуализации данных, квантовых вычислений.

Выступления на конференциях SCM (IEEE) в СПб. Статьи на конференциях и в журналах представлены на e-library и Scopus.[/lang_ru]