ЛЭТИ впервые стал обладателем премии Бертрана Мейера

ЛЭТИ впервые стал обладателем премии Бертрана Мейера

Сотрудники кафедры систем автоматизированного проектирования СПбГЭТУ «ЛЭТИ» стали лауреатами премии Бертрана Мейера, которая выдается за лучшие исследовательские работы в области программной инженерии, представленные в программе SECR.

18.11.2019 833

14-15 ноября в Санкт-Петербурге состоялась 15-я Software Engineering Conference Russia 2019 – ключевое ежегодное событие в области программного обеспечения в Восточной Европе, в котором принимают участие более 500 участников из отрасли. По традиции на закрытии конференции были объявлены лауреаты премии Бертрана Мейера – профессора университетов Иннополис и Politecnico di Milano, создателя языка программирования Эйфель. Премия ежегодно выдается за лучшие исследовательские работы в области программной инженерии, представленные в программе SECR.

В этом году по решению программного комитета премию разделили между двумя работами. В их числе – «Автоматизированная генерация спецификаций квантовых цепей на основе полиномов Рида-Маллера» доцентов кафедры САПР СПбГЭТУ «ЛЭТИ» Виталия Анатольевича Калмычкова и Ирины Витальевны Матвеевой.

На конференции работу представлял Виталий Анатольевич Калмычков. Доклад был посвящен актуальным трендам в квантовых вычислениях и перспективной области создания и программирования квантовых компьютеров. Виталий Анатольевич представил аудитории опыт разработки модульной системы автоматической генерации спецификаций квантовых цепей, используемых в качестве основы для логического представления квантового вычислительного процесса. Также предложил способы по автоматической минимизации квантовых цепей на основе масштабируемых шаблонов, их оценки и верификации. Квантовые технологии уже сегодня применяются в телекоммуникациях (защита, криптография), быстрых вычислениях (искусственный интеллект и обработка больших объемов данных), моделировании сложных систем (физических, химических) и материалов в медицине.

«Для загрузки в квантовый компьютер необходимо создать квантовый алгоритм. В нашем исследовании мы предлагаем автоматизацию процесса проектирования спецификаций квантовых цепей, базирующуюся на соединении классических математических основ с общим подходом к разработке квантовых алгоритмов, основанных на наборе преобразователей CkNOT с множественным управлением с учетом архитектуры ближайшего соседства. Наш инструментарий обеспечивает автоматическую компиляцию всех возможных вариантов квантовых цепей по полиномам Рида-Мюллера, включая автоматические режимы для: перехода к линейно ближайшему соседству при минимизации числа преобразователей SWAP на основе реализованных нами масштабируемых шаблонов, автоматический сбор статистики, визуализацию, лексическую проверку эквивалентности результатов при компиляции квантовых цепей. В целом это позволяет выбрать из всех автоматически сгенерированных спецификаций варианты квантовых цепей в соответствии с различными критериями». 

Доцент кафедры САПР СПбГЭТУ «ЛЭТИ» Виталий Анатольевич Калмычков

Актуальность разработок ученых СПбГЭТУ «ЛЭТИ» сегодня крайне высока. Квантовые компьютеры из области научного интереса и исследовательских лабораторий выходят к массовому пользователю. 23 октября 2019 года одно из подразделений компании Google объявило о достижении квантового превосходства – был представлен квантовый алгоритм, который решает задачу генерации случайной последовательности на разработанном квантовом процессоре. Корпорация IBM предоставляет облачный сервис желающим реализовать квантовые алгоритмы на действующем квантовом компьютере. ГК «Росатом» объявила о масштабном проекте по созданию отечественного квантового компьютера.

Также на конференции выпускник факультета компьютерных технологий и информатики СПбГЭТУ «ЛЭТИ» 2006 года, заместитель генерального директора компании First Line Software Владимир Андреевич Литошенко представил практические результаты использования облачной квантовой платформы IBM Q для квантовых вычислений.

«Конференция прошла в дружеской, творческой обстановке, которая была обеспечена организационным комитетом с привлечением волонтеров, в числе которых были и студенты СПбГЭТУ «ЛЭТИ»», – рассказывает доцент кафедры САПР СПбГЭТУ «ЛЭТИ» Виталий Анатольевич Калмычков.

Всего на конференцию было подано более 150 заявок, после тщательного отбора были приняты 99, по которым состоялись выступления докладчиков на темы инструментов и средств программирования, облачных сервисов, интернета вещей, организации коллективов разработчиков и другие.