Анатолий Слисенко
 |
Анатоль Слисенко (Слисенко) (русский: Анатолий Олесьевич Слисенко) | |
|---|---|
 | |
| Рожденный | ( 1941-08-15 )15 августа 1941 г. |
| Национальность | Русский , французский |
| Альма-матер | Санкт-Петербургский государственный университет |
| Научная карьера | |
| Поля | Информатика Математика |
| Учреждения | Математический институт им. В.А. Стеклова Санкт-Петербургский государственный университет Ленинградский институт информатики и автоматизации АН СССР Университет Париж-Эст-Кретей Валь-де-Марн Ленинградский политехнический институт |
| научный руководитель | Николай Александрович Шанин |
| Докторанты | Дмитрий Григорьев |
Анатолий Слисенко ( русский : Анатоль Олесьевич Слисенко [1] ) (родился 15 августа 1941) — советский, российский и французский математик и учёный-компьютерщик. Среди его исследовательских интересов можно найти автоматическое доказательство теорем , рекурсивный анализ, вычислительную сложность , алгоритмику, графовые грамматики, верификацию, компьютерную алгебру , энтропию [2] и вероятностные модели, связанные с компьютерной наукой. [3] [4]
Ранние годы
Анатолий Слисенко родился в Сибири , где его отец служил начальником полка военной топографии. В 1963 году окончил механико-математический факультет Ленинградского государственного университета (диплом с отличием).
Академическая карьера[5]
Кандидатскую диссертацию защитил в 1967 году в Ленинградском отделении Математического института им. В. А. Стеклова , под руководством Николая Александровича Шанина , а докторскую диссертацию — в 1981 году в Московском Математическом институте им. В. А. Стеклова .
В 1963–1981 годах он работал в Ленинградском отделении Математического института им. В.А. Стеклова АН СССР ( ЛОМИ ). С 1967 по 1992 год он возглавлял Ленинградский семинар по сложности вычислений [6] , сыгравший важную роль в развитии этого направления в Советском Союзе.
В 1981–1993 годах он был заведующим Лабораторией теории алгоритмов Ленинградского института информатики и автоматизации АН СССР. С 1993 по 2009 год он был профессором Университета Париж-Эст-Кретей , Франция, а с 2009 года он остается почетным профессором этого университета. Он также был заведующим (и в некотором роде основателем) Лаборатории сложности алгоритмики и логики с 1997 по 2007 год.
В 1981–1987 годах он был внештатным профессором Ленинградского политехнического института , а в 1988–1992 годах — профессором и заведующим кафедрой вычислительной техники математико-механического факультета Ленинградского государственного университета , создание которой он инициировал (команды кафедры четырежды становились чемпионами мира ACM International Collegiate Programming Contest ). [7] Многие математики (среди них Юрий Матиясевич , Дима Григорьев , Э. Хирш) начинали свои исследования на его семинарах для студентов.
Слисенко приглашался в качестве докладчика на многие конференции, в частности на Международный конгресс математиков в 1983 году в Варшаве , Польша .
Исследовать
Среди его результатов можно упомянуть шестиголовочную одноленточную машину Тьюринга, которая распознает палиндромы в реальном времени, [8] алгоритм (для своего рода указателя), который решает в реальном времени большое количество задач сопоставления строк (включая нахождение всех периодичностей в компактной форме), [9] граф-грамматики Слисенко (описывающие классы NP-трудных задач, решаемых за поливремени), [10] разрешимые классы верификации сложных контроллеров реального времени, [11] алгоритмы построения кратчайших путей среди полуалгебраических препятствий, [12] [13] и энтропийно-подобные концепции для анализа алгоритмов и систем вывода. [14] [15]
Он сотрудничал с Н.Шаниным , С.Масловым, Г.Минцем и В.Оревковым по автоматическому доказательству теорем, а также с Д.Бокье [11], Д.Григорьевым , Д.Бураго, А.Рабиновичем, П.Васильевым [16] и другими по некоторым алгоритмическим проблемам [1].
Ссылки
- ^ ""Слисенко Анатолий Олесевич"". Архивировано из оригинала 01 апреля 2018 г. Проверено 14 июля 2016 г.
- ^ Анатолий Слисенко. Об энтропийных мерах вычислений
- ^ Публикации в Math-Net.Ru(рус.)
- ^ Список французских публикаций
- ^ Бокье, Д.; Григорьев Д. ; Матиясевич, Ю. (2003). «Жизнеописание А. О. Слисенко». Теоретическая информатика . 303 : 3–5 .
- ^ А. Слисенко. Санкт-Петербург/Ленинград (1961-1998): От логики к сложности и далее, в: "Люди и идеи в теоретической информатике", Springer Verlag, страницы 274-313, 1998
- ^ Награда старшего члена ACM Анатолия Слисенко.
- ^ А. Слисенко. Распознавание предиката симметрии многоголовочными машинами Тьюринга с входом. Труды МИАН, 129:25–208, 1976.
- ^ А. Слисенко. Обнаружение периодичности и сопоставление строк в реальном времени. Журнал советской математики, 22(3):1316-1386, 1983. На русском языке: Записки научных семинаров ЛОМИ, 105:62–173, 1981.
- ^ А. Слисенко. Контекстно-свободные грамматики как инструмент для описания полиномиальных по времени подклассов сложных проблем. Inf. Process. Lett., 14(2):52–56, 1982.
- ^ ab Даниэль Бокье, Анатолий Слисенко. Логика первого порядка для спецификации временных алгоритмов: основные свойства и разрешимый класс. Annals of Pure and Applied Logic, 113(1–3):13–52, 2002.
- ^ J. Heintz, T. Krick, A. Slissenko, P. Solerno. Нахождение кратчайших путей вокруг полуалгебраических препятствий на плоскости, J. of Math. Sci., 70(4):1944–1949, 1994. На русском языке: Записки научных семинаров ЛОМИ, 192:164–174, 1991.
- ^ Д. Григорьев, А. Слисенко, Вычисление пути минимального звена в гомотопическом классе среди полуалгебраических препятствий на плоскости, СПб. мат. журн., 10(2):315–332, 1999. На русском языке: Алгебра и анализ, 10(2):124–147, 1998.
- ^ А. Слисенко. О мерах качества информации в системах обработки знаний. Information Sciences: An International Journal, 57–58:389–402, 1991.
- ^ Слисенко, А. (2020). «Об энтропийной сходимости алгоритмов». Lecture Notes in Computer Science . Fields of Logic and Computation III. 12180 : 291– 304.
- ^ Анатолий Слисенко, Павел Васильев. Моделирование временных абстрактных конечных автоматов с проверкой моделей предикатной логики. Журнал универсальной компьютерной науки.
Внешние ссылки
- Анатолий Слисенко в проекте «Генеалогия математики»
- Домашняя страница Анатолия Слисенко
