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