| имя: | пароль: | |||
| регистрация | забыли пароль? | ||||
Титулы
- Кандидат физико-математических наук
- с 1997 Старший научный сотрудник
Места работы
- с 1987 Институт вычислительной математики и математической геофизики СО РАН младший научный сотрудник
- с 1993 Институт систем информатики имени А.П. Ершова СО РАН старший научный сотрудник лаборатории теоретического программирования
Участие
- 5-я Ершовская лекция
- VeHa - соревнования по формальной верификации программ тренер и организатор соревнования VeHa-2024 и VeHa-2025.