Лаборатория смешанных вычислений

 

Заведующий – Бульонков Михаил Алексеевич

Лаборатория смешанных вычислений была образована 31 июня 1997 года. Основным направлением исследований лаборатории стали методы семантического анализа, частичное и смешанное выполнение и преобразование программ. В рамках этих работ были созданы процессоры смешанных вычислений как для функциональных (Scheme), так и для императивных (Модула-2) языков программирования. Особое внимание в этих исследованиях уделялось эффективности самого процесса специализации, в смысле масштабируемости и глубины процесса специализации.

Научный персонал

- Старший научный сотрудник
- Зав. лабораторией
- Инженер-исследователь
- Старший научный сотрудник
- Младший научный сотрудник
- Младший научный сотрудник

Научно-технический персонал

- Ведущий программист