![]() |
Лаборатория смешанных вычислений |
![]() |
Заведующий – Бульонков Михаил АлексеевичЛаборатория смешанных вычислений была образована 31 июня 1997 года. Основным направлением исследований лаборатории стали методы семантического анализа, частичное и смешанное выполнение и преобразование программ. В рамках этих работ были созданы процессоры смешанных вычислений как для функциональных (Scheme), так и для императивных (Модула-2) языков программирования. Особое внимание в этих исследованиях уделялось эффективности самого процесса специализации, в смысле масштабируемости и глубины процесса специализации. Научный персонал - Старший научный сотрудник - Зав. лабораторией - Инженер-исследователь - Старший научный сотрудник - Научный сотрудник Научно-технический персонал - Ведущий программист |