Город: Санкт-Петербург Казань Язык: Русский English

Виктор Львович Селиванов

ДМИ НГУ, ИСИ

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

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

Селиванов В.Л. в 1974 г. с отличием окончил Казанский университет, а в 1977 г. — аспирантуру того же университета. В 1979 г. он защитил кандидатскую, а в 1989 г. — докторскую диссертацию по специальности «Математическая логика, алгебра и теория чисел». В 1993 г. ему присвоено ученое звание профессора. Заслуженный работник высшей школы РФ (с 2000 г.), почетный работник науки и техники РФ (с 2012 г.). Был стипендиатом Фонда А. Гумбольдта (1993—1994), а также приглашенным профессором в университетах гг. Зиген (Германия, 2002), Париж (Франция, 2005) и Вюрцбург (Германия, 2006—2007). Работал в Ульяновском политехническом институте, Казанском химико- технологическом институте и в Новосибирском педагогическом институте. С 1991 г. по 2014 г. работал профессором и заведующим кафедрой информатики и дискретной математики НГПУ. Под его руководством защищено 10 кандидатских диссертаций. Член совета по защите диссертаций в ИСИ. Работает в области теоретической информатики. Общее число публикаций — более 100. Был руководителем по 4 грантам РФФИ, исполнителем по грантам РФФИ- ИНТАС, 3 грантам РФФИ-ННИО, по гранту РФФИ-Авсрийский НФ, по проекту ЕС Мария Кюри. В.Л. Селиванов выступал с докладами на ряде ведущих Международных научных конференций по информатике и математической логике в России, Германии, Франции, Великобритании, Италии, Сингапуре, а также на научных семинарах в университетах Новосибирска, Москвы, Петербурга, Вюрцбурга, Тюбингена, Штутгарта, Хагена, Дуйсбурга, Карлсруэ, Аахена, Хайдельберга, Халле, Мюнхена, Зигена, Дармштадта, Парижа, Амстердама, Манчестера, Лестера, Лидса, Свонси, Сиены, Афин, Варшавы, Торуни, Риги, Вены, Фрайбурга, Турина. Был членом программного комитета международной конференции «Computer Science Russia» (Екатеринбург 2007, Москва 2008, Новосибирск 2009), организатором 6 международных семинаров в центре Информатики им. В. Лейбница (г. Дагштуль, Германия).

Научные интересы В.Л. Селиванова лежат в области математической логики, теории вычислений, теории автоматов, теории сложности и вычислимости в анализе и топологии. Его работы посвящены в основном теории вычислимости, иерархиям регулярных языков и сверхъязыков, теории областей Ершова-Скотта, в частности классификации объектов в указанных областях с помощью сводимостей и определимости. Исследования ведутся в контакте с рядом известных отечественных и зарубежных специалистов в указанных областях.

Дополнительные сведения: http://persons.iis.nsk.su/en/person/vseliv

Прочтения курсов

Курс Семестр
Основы теории вычислимости и сложность вычислений весна 2018