Основные научные результаты: алгебраический метод описания семантики языков программирования, параллельный язык Си[] для векторных и суперскалярных процессоров и его переносимый компилятор, язык mpC для параллельного программирования высокопроизводительных вычислений на неоднородных вычислительных сетях и его система программирования. Научно-общественная работа: член редколлегии журнала РАН "Программирование", член программных комитетов ряда международных конференций. Ключевые слова языки параллельного программирования, системы параллельного программирования, неоднородные параллельные вычисления, компиляторы параллельных языков, теория программирования