С 24 по 26 апреля пройдут лекции заключительного курса весеннего семестра Computer Science клуба 'Основы теории вычислимости и сложность вычислений'.

Виктор Львович Селиванов  проведет серию лекций на тему "Основы теории вычислимости и сложность вычислений".

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

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

Место и время:
 24 апреля -  15:20 в ауд.1011

Все лекции пройдут по адресу: ул. Кремлевская, д.35