Профессор кафедры ДМИ НГУ

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

http://persons.iis.nsk.su/en/person/vseliv