| имя: | пароль: | |||
| регистрация | забыли пароль? | ||||
Титулы
- с 1989 Кандидат технических наук
Места работы
- с 1971 Институт вычислительной математики и математической геофизики СО РАН инженер
- с 1975 Новосибирский филиал Института точной механики и вычислительной техники АН СССР старший научный сотрудник
- с 1989 Институт вычислительной математики и математической геофизики СО РАН старший научный сотрудник
- с 1990 Институт систем информатики имени А.П. Ершова СО РАН старший научный сотрудник лаборатории системного программирования
- с 2002 Институт систем информатики имени А.П. Ершова СО РАН заведующий лабораторией системного программирования
Участие
- 5-я Ершовская лекция
- VeHa - соревнования по формальной верификации программ организатор соревнования VeHa-2025.