1998 Кандидат физико-математических наук

1994-1997Институт систем информатики имени А.П. Ершова СО РАН аспирант

1997-2004Институт систем информатики имени А.П. Ершова СО РАН младший научный сотрудник лаборатории теоретического программирования

2004Институт систем информатики имени А.П. Ершова СО РАН старший научный сотрудник лаборатории теоретического программирования

5-я Ершовская лекция

PSI'99 - "Перспективы систем информатики" - Третья Мемориальная Ершовская конференция. участник

1 2