Квантови изчисления
Езици от високо ниво за програмиране на квантови компютри
INSAIT е основен участник в езика за квантово програмиране Silq, първоначално представен в ETH Zürich. Основната теза на Silq е, че квантовите програми могат, в по-голямата си част, да бъдат изградени подобно на класическите програми. За тази цел Silq цели да освободи програмиста от нискочестотни детайли, специфични за квантовото и обратимо програмиране. Езикът разполага с богата система от типове, която елиминира големи класове грешки в класическите и квантовите програми. Освен това има ергономичен синтаксис, който позволява квантовите алгоритми да бъдат изразявани интуитивно и сбито.
Преподаватели и изследователи, участващи в тази област:
Търсене в квантовата архитектура
Вариационните квантови алгоритми са обещаващ подход за използване на съвременни, шумни квантови компютри. Изборът на оптимална параметрична квантова схема, която може да бъде обучена да решава множество случаи на даден проблем, обаче е нетривиална задача. Търсенето на квантова архитектура се отнася до класа методи, които автоматично генерират анзац за вариационен квантов алгоритъм, като са дадени Хамилтонианите за оптимизиране. Нашите изследвания в тази област се занимават с търсене на квантова архитектура с методи за машинно обучение, с фокус върху разработването на квантово-ориентирана рамка за същото.
Преподаватели и изследователи, участващи в тази област:
Компилиране на езици за квантово програмиране
Компилирането на езици за квантово програмиране от високо ниво (както и езици за обратимо програмиране) изисква програмни трансформации, които не се срещат класически. Двата основни примера са синтез на присъединяване и синтез на декомпозиция. Колко лесно е да се реализират такива трансформации зависи от структурата на езика. Въведохме междинно представяне (IR), специално разработено, за да улесни реализацията на такива трансформации. IR е внедрен като част от нашата компилаторна инфраструктура за езика за програмиране Silq. Инфраструктурата разполага с компилаторен бек-енд, който не е специфичен за Silq, който синтезира присъединявания и декомпозиция и понижава IR до квантови схеми. Освен това разработихме стъпка за понижаване от Silq до IR като част от фронт-енда на Silq. Това позволи за първи път компилирането на значителен фрагмент от Silq.
Преподаватели и изследователи, участващи в тази област: