Доктор технических наук, профессор, заведующий кафедрой «Распределенные вычисления и компьютерные сети» факультета технической кибернетики Санкт-Петербургского государственного политехнического университета (с основания кафедры в 1995 году). Член Американского Математического общества и IEEE.
Автор учебных пособий
- «Теория и технология программирования. Основы построения трансляторов» (2005)
- «Теория алгоритмов и автоматов» (1998)
- «Model Сhecking. Верификация параллельных и распределенных программных систем» (2009)
- «Имитационное моделирование систем. Введение в моделирование с AnyLogic 5» (2006)
- «Основы построения компиляторов» (1982)