Anatol Slissenko
 |
Anatol Slissenko (Slisenko) (Russian: Анатолий Олесьевич Слисенко) | |
|---|---|
 | |
| Рожденный | 15 августа 1941 г. |
| Национальность | русский , французский |
| Альма-матер | Санкт-Петербургский государственный университет |
| Научная карьера | |
| Поля | Информатика Математика |
| Учреждения | Математический институт им. Стеклова Санкт-Петербургский государственный университет Ленинградский институт информатики и автоматизации АН СССР Университет Париж-Восточный Кретей Валь-де-Марн Ленинградский политехнический институт |
| Докторантура | Nikolai Aleksandrovich Shanin |
| Докторанты | Дмитрий Григорьев |
Anatol Slissenko ( Russian : Анатолий Олесьевич Слисенко [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] D.Grigoriev , D.Burago, A.Rabinovich, P. Vasilyev [14] и др. по некоторым алгоритмическим задачам, см. [15]
Ссылки
[ редактировать ]- ^ " "Слисенко Анатолий Олесьевич" " . Archived from the original on 2018-04-01 . Retrieved 2016-07-14 .
- ^ Анатолий Слисенко. Об энтропийных мерах вычислений
- ^ Публикации в Math-Net.Ru (рус.)
- ^ Список французских публикаций
- ^ Награда старшего члена ACM Анатолия Слисенко.
- ^ А. Слисенко. Распознавание предиката симметрии многоголовочными машинами Тьюринга с входными данными. Учеб. Стеклова. матем. наук, АМН, 129:25–208, 1976. На русском: Труды Математического института Академии наук СССР, 129:30–202, 1973.
- ^ А. Слисенко. Обнаружение периодичностей и сопоставление строк в реальном времени. Журнал советской математики, 22(3):1316-1386, 1983. На русском языке: Записки научных семинаров ЛОМИ, 105:62–173, 1981.
- ^ А. Слисенко. Бесконтекстные грамматики как инструмент описания подклассов сложных задач с полиномиальным временем. Инф. Процесс. Письма, 14(2):52–56, 1982.
- ^ Перейти обратно: а б Даниэль Бокье, Анатолий Слисенко. Логика первого порядка для спецификации временных алгоритмов: основные свойства и разрешимый класс. Анналы чистой и прикладной логики, 113 (1–3): 13–52, 2002.
- ^ Дж. Хайнц, Т. Крик, А. Слисенко, П. Солерно. Нахождение кратчайших путей вокруг полуалгебраических препятствий на плоскости, Ж. мат. Sci., 70(4):1944–1949, 1994. На русском: Записки научных семинаров ЛОМИ, 192:164–174, 1991.
- ^ Д. Григорьев, А. Слисенко. Вычисление пути минимального звена в гомотопическом классе среди полуалгебраических препятствий на плоскости, СПб. матем. Ж., 10(2):315–332, 1999. На русском: Алгебра и анализ, 10(2):124–147, 1998.
- ^ А. Слисенко. О мерах качества информации систем обработки знаний. Информационные науки: Международный журнал, 57–58: 389–402, 1991.
- ^ А. Слисенко. Об энтропийной сходимости алгоритмов в терминах разбиений областей. 19 страниц, 2016. [1]
- ^ Анатолий Слисенко, Павел Васильев. Моделирование синхронизированных абстрактных конечных автоматов с проверкой моделей на основе логики предикатов. Журнал универсальной информатики.
- ^ Домашняя страница Анатолия Слисенко.
Внешние ссылки
[ редактировать ]| Международный | |
|---|---|
| Национальный | |
| академики | |
