...доктор технических наук, профессор кафедры информатики, заведующий лабораторией Java-технологии математико-механического факультета Санкт-Петербургского государственного университета (СПбГУ), член-корреспондент Российской Академии Естествознания.
В 1977 г. окончил с отличием математико-механический факультет Ленинградского государственного университета (ныне - СПбГУ).
С 1977 г. по настоящее время работает на мат.-мех. факультете СПбГУ.
В 1981 г. защитил кандидатскую диссертацию.
С 1981 г. - младший научный сотрудник.
С 1984 г. - старший научный сотрудник.
С 1989 г. - заведующий лабораторией.
В 1991 г. (в 37 лет) защитил докторскую диссертацию.
В 1994 г. (в 39 лет) получил ученое звание профессора.
Лауреат Премий Правительства Санкт-Петербурга (1999) и Санкт-Петербургского государственного университета (2010) за циклы научных трудов.
В 1970-х - 1980-х гг. был руководителем крупного проекта по разработке трансляторов с языков Паскаль, CLU, Модула-2, РЕФАЛ, АБВ, SNOBOL-4, FORTH-83 для отечественных многопроцессорных вычислительных комплексов (МВК) «Эльбрус».
В 1987 г. разработал официальный текст стандарта языка программирования Паскаль СССР и СЭВ.
В 1980-х - 1990-х гг. разработал язык инженерии знаний Турбо-Эксперт - расширение языка Турбо Паскаль - и ряд экспертных систем для ВМФ и медицины.
В 1992-2002 гг. был научным руководителем группы сотрудников СПбГУ по разработке и сопровождению программного обеспечения (компиляторов, инструментальных средств, Java-технологии) фирмы Sun Microsystems. Выполнил уникальный проект по модернизации и ускорению промышленного компилятора Sun Pascal на основе собственных оригинальных методов компиляции.
С 2003 г. сотрудничает с Microsoft Research, Panasonic Research и другими ведущими фирмами. Имеет уникальный 18-летний опыт руководства международными проектами в области разработки программного обеспечения.