|
Автоматизированная генерация спецификаций квантовых цепей на основе полиномов Рида-Маллера
- Programming / Tools
- Принят
15 ноября, 10:15
Room IV|IV зал
Добавить в gCal Добавить в iCal/Outlook
Обсудить доклад
В докладе охарактеризовано современное положение в квантовых вычислениях, и возможно слушатели узнают новую информацию из перспективной области создания и программирования квантовых компьютеров. Будет представлен опыт разработки модульной системы автоматической генерации спецификаций квантовых цепей, используемых в качестве основы для логического представления квантового вычислительного процесса. В докладе рассматриваются предложенные способы по автоматической минимизации квантовых цепей на основе масштабируемых шаблонов, их оценки и верификации.
Виталий Калмычков
Доцент, СПбГЭТУ «ЛЭТИ»
Закончил ФАВТ ЛЭТИ. Преподаватель: информатика, программирование, объектно-ориентированное программирование, базы данных. Исследования в области визуализации данных, квантовых вычислений.
Выступления на конференциях SCM (IEEE) в СПб. Статьи на конференциях и в журналах представлены на e-library и Scopus.