Anatol Slissenko

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, União Soviética
Alma mater Universidade Estatal de São Petersburgo
Ocupação matemático, cientista de computação, professor universitário
Empregador(a) Universidade Estatal de São Petersburgo, Instituto de Matemática Steklov, Universidade de Poitiers, Universidade Paris-Est-Créteil-Val-de-Marne
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

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

Referências

  1. ↑ "Слисенко Анатолий Олесьевич"
  2. ↑ Anatol Slissenko. On entropic measures of computations
  3. ↑ Publications in Math-Net.Ru (em russo)
  4. ↑ Lista de publicações em francês
  5. ↑ Anatol Slissenko (em inglês) no Mathematics Genealogy Project
  6. ↑ Anatol Slissenko's ACM Senior Member award