Разработка, реализация и сопровождение компонентов программного обеспечения многомашинного вычислительного комплекса АС-6 для Центров Управления полетами космических кораблей: - операционные системы, - протоколы локальной сети, - информационная система реального времени баллистической и контрольной информации; разработка и реализация компонентов программного обеспечения суперкомпьютера Электроника ССБИС (совместимого с CRAY-1): - сетевые протоколы, - система управления дисками, - объектно-ориентированный макроассемблер, - структуры объектных модулей, - загрузчик; - разработка и реализация мобильной объектно-ориентированной операционной системы КЛАСТОС: - микроядро, - кластерный язык программирования, основанный на языке Си (Сиклос), - среда и язык разработки и компоновки кластерных подсистем (Проклос), - реляционная СУБД, двоичный эмулятор UNIX; Разработка и реализация методологии и набора инструментов для автоматизированного анализа программ и генерации тестов, основанные на формальных спецификациях: - генерация первичных спецификаций из исходного кода, - повышение уровня абсстракции спецификаций, - генерация тестовых оракулов, - генерация программ оценки тестового покрытия, - генерация генераторов тестовых последовательностей, - репозиторий, ориентированный на методологию и система управления версиями, - рабочее место спецификаторов и разработчиков тестов, - архитектура тестовой системы и поддержки времени исполнения. По результатам последней работы оформлены 5 патентов США и Канады. С 1988 года член редколлегии и ответственный секретарь журнала "Программирование" РАН. Ключевые слова Операционные системы, распределенные операционные системы, локальные сети, объектно-ориентированное программирование, объектно-ориентированные операционные системы, формальные методы спецификации, верификации и тестирования программ.