| имя: | пароль: | |||
| регистрация | забыли пароль? | ||||
Титулы
- с 1995 Старший научный сотрудник
- с 2002 Доктор физико-математических наук
Места работы
- с 1989 Институт вычислительной математики и математической геофизики СО РАН младший научный сотрудник
- с 1990 Институт систем информатики имени А.П. Ершова СО РАН младший научный сотрудник, старший научный сотрудник лаборатории теоретического программирования
- с 2002 Институт систем информатики имени А.П. Ершова СО РАН ведущий научный сотрудник лаборатории теоретического программировния
- Новосибирский государственный университет профессор
Участие
- 2-я Ершовская лекция
- 5-я Ершовская лекция
- PSI'06 - "Перспективы систем информатики" - Шестая Мемориальная Ершовская конференция, посвященная 75-летию со дня рождения А.П. Ершова. Сопредседатель программного комитета
- PSI'09 - "Перспективы систем информатики" - Седьмая Мемориальная Ершовская конференция, посвященная 50-летию создания Отдела программирования ВЦ СО АН СССР сопредседатель ПК
- PSI'11 - "Перспективы систем информатики" - Восьмая Мемориальная Ершовская конференция сопредседатель программного комитета
- PSI'19 - "Перспективы систем информатики" - двенадцатая мемориальная Ершовская конференция сопредседатель программного комитета