Anatol Slissenko
De Wikipedia, a enciclopédia encyclopedia
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]
Factos rápidos
Anatol Slissenko | |
---|---|
Nascimento | 15 de agosto de 1941 (82 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 |
Fechar