Anatol Slissenko
Anatol Slissenko | |
---|---|
![]() | |
Nascimento | 15 de agosto de 1941 (83 anos) Sibéria, União Soviética |
Nacionalidade | russo, francês |
Cidadania | Rússia |
Alma mater | Universidade Estatal de São Petersburgo |
Ocupação | matemático, cientista de computação |
Empregador(a) | Universidade Estatal de São Petersburgo |
Orientador(a)(es/s) | Nikolai Aleksandrovich Shanin |
Orientado(a)(s) | Dima Grigoriev |
Instituições | Instituto de Matemática Steklov, Universidade Estatal de São Petersburgo, St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences, Universidade Paris 12 Val de Marne, Universidade Politécnica de São Petersburgo Pedro o Grande |
Campo(s) | matemática, ciência da computação |
Tese | 1967: Regulators of Convergence of Constructive Sequences and Regulators of Continuity of Constructive Functions |
[edite no Wikidata] |
Anatol Slissenko (em russo: Анатолий Олесьевич Слисенко[1]; Sibéria, 15 de agosto de 1941) é um matemático e cientista da computação soviético, russo e francês. Dentre seus interesses de pesquisa constam prova automática de teoremas, análise recursiva, complexidade computacional, algoritmos, reescrita de grafos, verificação, álgebra computacional, entropia da informação[2] e modelos probabilísticos relacionados à ciência da computação.[3][4]
Formação
Anatol Slissenko nasceu na Sibéria, onde seu pai serviu como chefe de um regimento de topografia militar. Obteve a graduação na Universidade Estatal de Leningrado em 1963.
Carreira acadêmica
Obteve o grau de Candidato de Ciências (doutorado) em 1967 no Instituto de Matemática Steklov em seu departamento em Leningrado, orientado por Nikolai Aleksandrovich Shanin,[5] com o Doktor nauk (habilitação) em 1981 no Instituto de Matemática Steklov em Moscou.
De 1963 a 1981 trabalhou no Departamento de Leningrado do Instituto de Matemática Steklov da Academia de Ciências da Rússia.
De 1981 a 1993 foi chefe do Laboratório de Teoria de Algoritmos do Instituto de Informática e Automação em Leningrado da Academia de Ciências da Rússia. De 1993 a 2009 foi professor da Universidade Paris 12 Val de Marne, França, onde é desde 2009 professor emérito.
Em 1981–1987 foi professor em tempo parcial da Universidade Politécnica de São Petersburgo Pedro o Grande, e em 1988–1992 foi professor e chefe do Departamento de Ciência da Computação da Universidade Estatal de São Petersburgo, Faculdade de Matemática e Mecânica, cuja criação ele iniciou (as equipes do departamento foram campeãs mundiais do ACM International Collegiate Programming Contest quatro vezes).[6] Diversos matemáticos (dentre eles Yuri Matiyasevich, Dima Grigoriev e E.Hirsch) iniciaram suas pesquisas em seu seminário para estudantes.
Foi palestrante convidado do Congresso Internacional de Matemáticos em Varsóvia (1983).
Publicações selecionadas
- Complexity problems in computational theory, Russian Mathematical Surveys, Volume 36, 1981, p. 23–125
- Recognizing a symmetry predicate by multihead Turing machines with input. Proc. Steklov Inst. of Mathematics, AMS, Volume 129, 1976, p. 25–208
- Detection of periodicities and string-matching in real time. J. of Soviet Mathematics, Volume 22, 1983, p. 1316–1386
- Context-free grammars as a tool for describing polynomial-time subclasses of hard problems. Inform. Process. Lett., Volume 14, 1982, p. 52–56
- com Danièle Beauquier: A first order logic for specification of timed algorithms: basic properties and a decidable class. Annals of Pure and Applied Logic, Volume 113, 2002, p. 13–52
- com J. Heintz, T. Krick, P. Solerno: Finding shortest paths around semi-algebraic obstacles in the plane, J. of Math. Sci., Volume 70, 1994, p. 1944–1949
- com D. Grigoriev: Computing Minimum-Link Path in a Homotopy Class amidst Semi-Algebraic Obstacles in the Plane, St. Petersburg Math. J., Volume 10, 1999, p. 315–332
- On measures of information quality of knowledge processing systems. Information Sciences: An International Journal, Volume 57/58, 1991, p. 389–402
- On entropic convergence of algorithms in terms of domain partitions, Arxiv 2016