Анатолий Слисенко - Anatol Slissenko

«Слисенко» перенаправляется сюда. Для других людей см. Слисенко (фамилия).
Анатолий Слисенко (Slisenko) (русский: Анатолий Олесьевич Слисенко)
ASlissenko.jpg
Родившийся (1941-08-15) 15 августа 1941 г. (возраст 79)
СССР
Национальностьрусский, Французский
Альма-матерСанкт-Петербургский государственный университет
Научная карьера
ПоляИнформатика
Математика
УчрежденияМатематический институт им. В. А. Стеклова
Санкт-Петербургский государственный университет
Ленинградский институт информатики и автоматизации АН СССР.
Университет Париж-Эст Кретей Валь-де-Марн
Ленинградский политехнический институт
ДокторантНиколай Александрович Шанин
ДокторантыДмитрий Григорьев

Анатолий Слисенко (русский: Анатолий Олесьевич Слисенко[1]) (родился 15 августа 1941 г.) - советский, российский и французский математик и ученый-компьютерщик. Среди его исследовательских интересов находят автоматическое доказательство теорем, рекурсивный анализ, вычислительная сложность, алгоритмика, грамматики графов, проверка, компьютерная алгебра, энтропия[2] и вероятностные модели, связанные с информатикой.[3][4]

Ранние годы

Анатолий Слисенко родился в г. Сибирь, где его отец служил начальником военно-топографического полка. Окончил Ленинградский Государственный Университет, Механико-математический факультет в 1963 г. (диплом с отличием).

Академическая карьера

Он заработал кандидат наук (кандидат наук, его руководителем был Николай Александрович Шанин ) в 1967 г. из Ленинградского отдела Математический институт им. В.А. Стеклова, и его Доктор наук (высшая докторская) в 1981 г. Стеклова в Москве.

В 1963–1981 гг. Работал в Ленинградском отделении Математического института им. В. А. Стеклова. Академия Наук СССР (ЛОМИ ). С 1967 по 1992 год он возглавлял Ленинградский семинар по вычислительной сложности, сыгравший важную роль в развитии этой области в Советском Союзе.

В 1981–1993 гг. Возглавлял лабораторию теории алгоритмов Ленинградского института информатики и автоматизации АН СССР. С 1993 по 2009 год он был профессором кафедры Университет Париж-Эст Кретей, Франция, а с 2009 г. остается Заслуженный профессор в отставке этого университета. Он также был руководителем (и в некотором роде основателем) Лаборатории сложности алгоритмики и логики с 1997 по 2007 год.

В 1981–1987 годах был по совместительству профессором кафедры Ленинградский политехнический институт, а в 1988–1992 годах он был профессором и заведующим кафедрой компьютерных наук Ленинградский Государственный Университет, Механико-математический факультет, создание которого он инициировал (команды кафедры были чемпионами мира Международные соревнования по программированию ACM четыре раза).[5] Многие математики (среди них Юрий Матиясевич, Дима Григорьев, Э. Хирш) начал свои исследования на своих семинарах для студентов.

Слисенко приглашали в качестве спикера на многие конференции, в частности на Международный конгресс математиков в 1983 г. в Варшава, Польша.

Исследование

Среди его результатов можно упомянуть одностороннюю машину Тьюринга с шестью головками, которая распознает палиндромы в режиме реального времени.[6] алгоритм (для своего рода указательной машины), который решает в реальном времени большое количество задач сопоставления строк (включая поиск всех периодичностей в компактной форме),[7] Граф-грамматики Слиссенко (описывающие классы NP-трудных задач, разрешимых за время),[8] разрешимые классы верификации контроллеров жесткого реального времени,[9] алгоритмы построения кратчайших путей среди полуалгебраических препятствий,[10][11] и энтропийные концепции для анализа алгоритмов и систем вывода.[12][13]

Он сотрудничал с Н.Шанин, С.Маслов, Г.Минц, В.Оревков по автоматическому доказательству теорем и Д.Бокье.[9] Д.Григорьев, Д.Бураго, А.Рабинович, П.Васильев[14] и другие по некоторым алгоритмам, см.[15]

Рекомендации

  1. ^ "Слисенко Анатолий Олесьевич"
  2. ^ Анатолий Слисенко. Об энтропийных мерах вычислений
  3. ^ Публикации в Math-Net.Ru (рус.)
  4. ^ Список французских публикаций
  5. ^ Премия старшего члена ACM Анатолия Слисенко
  6. ^ А. Слисенко. Распознавание предиката симметрии многоголовыми машинами Тьюринга с вводом. Proc. Стеклова математики, АМН, 129: 25–208, 1976. На русском языке: Труды Математического института Академии Наук СССР, 129: 30–202, 1973.
  7. ^ А. Слисенко. Обнаружение периодичностей и совпадение строк в реальном времени. Журнал советской математики, 22 (3): 1316-1386, 1983. На русском языке: Записки научных семинаров ЛОМИ, 105: 62–173, 1981.
  8. ^ А. Слисенко. Контекстно-свободные грамматики как инструмент для описания подклассов сложных задач за полиномиальное время. Инф. Процесс. Lett., 14 (2): 52–56, 1982.
  9. ^ а б Даниэль Бокье, Анатоль Слиссенко. Логика первого порядка для спецификации синхронизированных алгоритмов: основные свойства и разрешимый класс. Анналы чистой и прикладной логики, 113 (1–3): 13–52, 2002.
  10. ^ Дж. Хайнц, Т. Крик, А. Слиссенко, П. Солерно. Поиск кратчайших путей вокруг полуалгебраических препятствий на плоскости, J. of Math. Наук, 70 (4): 1944–1949, 1994. Записки научных семинаров ЛОМИ, 192: 164–174, 1991.
  11. ^ Д. Григорьев, А. Слисенко. Вычисление пути с минимальным звеном в гомотопическом классе среди полуалгебраических препятствий на плоскости, Санкт-Петербург, Матем. J., 10 (2): 315–332, 1999. Алгебра и анализ, 10 (2): 124–147, 1998.
  12. ^ А. Слисенко. О показателях качества информации систем обработки знаний. Информационные науки: Международный журнал, 57–58: 389–402, 1991.
  13. ^ А. Слисенко. Об энтропийной сходимости алгоритмов в терминах разбиения предметной области. 19 страниц, 2016. [1]
  14. ^ Анатолий Слисенко, Павел Васильев. Моделирование синхронизированных абстрактных конечных автоматов с проверкой логической модели предикатов. Журнал универсальных компьютерных наук.
  15. ^ Домашняя страница Анатолия Слиссенко

внешняя ссылка