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