Анатолий Слисенко
 |
Анатолий Слисенко (Слисенко) (русский: Анатолий Олесьевич Слисенко) | |
|---|---|
 | |
| Рожденный | (1941-08-15) 15 августа 1941 г. |
| Национальность | Русский , французский |
| Альма-матер | Санкт-Петербургский государственный университет |
| Научная карьера | |
| Поля | Информатика Математика |
| Учреждения | Математический институт им. В.А. Стеклова Санкт-Петербургский государственный университет Ленинградский институт информатики и автоматизации АН СССР Университет Париж-Эст-Кретей Валь-де-Марн Ленинградский политехнический институт |
| научный руководитель | Николай Александрович Шанин |
| Докторанты | Дмитрий Григорьев |
Анатолий Олесьевич Слисенко [ 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 International Collegiate Programming Contest ). [5] Многие математики (среди них Юрий Матиясевич , Дима Григорьев , Э. Хирш) начинали свои исследования на его семинарах для студентов.
Слисенко приглашался в качестве докладчика на многие конференции, в частности на Международный конгресс математиков в 1983 году в Варшаве , Польша .
Исследовать
Среди его результатов можно упомянуть шестиголовочную одноленточную машину Тьюринга, которая распознает палиндромы в реальном времени, [6] алгоритм (для своего рода указателя), который решает в реальном времени большое количество задач сопоставления строк (включая нахождение всех периодичностей в компактной форме), [7] граф-грамматики Слисенко (описывающие классы NP-трудных задач, разрешимых за политайм), [8] разрешимые классы верификации сложных контроллеров реального времени, [9] алгоритмы построения кратчайших путей среди полуалгебраических препятствий, [10] [11] и энтропийно-подобные концепции для анализа алгоритмов и систем вывода. [12] [13]
Он сотрудничал с Н.Шаниным , С.Масловым, Г.Минцем и В.Оревковым по автоматическому доказательству теорем, а также с Д.Бокье [9], Д.Григорьевым , Д.Бураго, А.Рабиновичем, П.Васильевым [14] и другими по некоторым алгоритмическим проблемам, см. [15].
Ссылки
- ^ ""Слисенко Анатолий Олесевич"". Архивировано из оригинала 01 апреля 2018 г. Проверено 14 июля 2016 г.
- ^ Анатолий Слисенко. Об энтропийных мерах вычислений
- ^ Публикации в Math-Net.Ru(рус.)
- ^ Список французских публикаций
- ^ Награда старшего члена 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.
- ^ А. Слисенко. Об энтропийной сходимости алгоритмов в терминах доменных разбиений. 19 страниц, 2016. [1]
- ^ Анатолий Слисенко, Павел Васильев. Моделирование временных абстрактных конечных автоматов с проверкой моделей предикатной логики. Журнал универсальной компьютерной науки.
- ^ Домашняя страница Анатолия Слисенко
Внешние ссылки
- Анатолий Слисенко в проекте «Генеалогия математики»
