Anatol Slissenko ( en ruso : Анатолий Олесьевич Слисенко [1] ) (nacido el 15 de agosto de 1941) es un matemático e informático soviético, ruso y francés. Entre sus intereses de investigación se encuentran la demostración automática de teoremas , el análisis recursivo, la complejidad computacional , la algorítmica, las gramáticas de grafos, la verificación, el álgebra computacional , la entropía [2] y los modelos probabilísticos relacionados con la informática. [3] [4]
Anatol Slissenko nació en Siberia , donde su padre sirvió como jefe de un regimiento de topografía militar. Se graduó de la Universidad Estatal de Leningrado , Facultad de Matemáticas y Mecánica en 1963 (diploma de honor).
Obtuvo su doctorado (candidato en ciencias, su asesor fue Nikolai Aleksandrovich Shanin ) en 1967 del Departamento de Leningrado del Instituto Steklov de Matemáticas , y su Doctorado en Ciencias (doctorado superior) en 1981 del Instituto Steklov de Matemáticas en Moscú .
Durante 1963–1981 estuvo en el Departamento de Leningrado del Instituto Steklov de Matemáticas de la Academia de Ciencias de la URSS ( LOMI ). Desde 1967 hasta 1992 dirigió el Seminario de Leningrado sobre Complejidad Computacional que desempeñó un papel importante en el desarrollo de este campo en la Unión Soviética.
Durante 1981–1993 fue director del Laboratorio de Teoría de Algoritmos en el Instituto de Informática y Automatización de Leningrado de la Academia de Ciencias de la URSS. Desde 1993 hasta 2009 fue profesor titular de la Universidad Paris-Est Créteil , Francia, y desde 2009 sigue siendo profesor emérito de esta universidad. También había sido director (y en cierto modo fundador) del Laboratorio de Complejidad Algorítmica y Lógica desde 1997 hasta 2007.
En 1981-1987 fue profesor a tiempo parcial del Instituto Politécnico de Leningrado , y durante 1988-1992 fue profesor y director del Departamento de Ciencias de la Computación en la Universidad Estatal de Leningrado , Facultad de Matemáticas y Mecánica, cuya creación inició ( los equipos del Departamento fueron cuatro veces campeones mundiales del Concurso Internacional de Programación Universitaria ACM ). [5] Muchos matemáticos (entre ellos Yuri Matiyasevich , Dima Grigoriev , E.Hirsch) comenzaron sus investigaciones en sus seminarios para estudiantes.