Направление научных исследований - объектно-ориентированное программирование, параллельное программирование, теория автоматов.