Anatol Slissenko

Anatol Slissenko (russian: Анатолий Олесьевич Слисенко) (born August 15, 1941) is a Soviet, Russian and French mathematician and computer scientist. Among his research interests one finds automatic theorem proving, recursive analysis, computational complexity, algorithmics, graph grammars, verification, computer algebra, entropy and probabilistic models related to computer science.

Early years

Anatol Slissenko was born in Siberia, where his father served as head of a regiment of military topography. He graduated from the Leningrad State University, Faculty of Mathematics and Mechanics in 1963 (honors diploma).

Academic career

He earned his PhD (candidate of sciences, his adviser was Nikolai Aleksandrovich Shanin) in 1967 from the Leningrad Department of Steklov Institute of Mathematics, and his Doctor of Science (higher doctorate) in 1981 from the Steklov Institute of Mathematics in Moscow.

During 1963–1981 he was with the Leningrad Department of Steklov Institute of Mathematics of the USSR Academy of Sciences ( LOMI). From 1967 till 1992 he headed the Leningrad Seminar on Computational Complexity that played an important role in the development of this field in the Soviet Union.

During 1981–1993 he was the head of Laboratory of Theory of Algorithms at the Leningrad Institute for Informatics and Automation of the USSR Academy of Sciences. From 1993 until 2009 he was a full professor of the University Paris-Est Créteil, France, and since 2009 he remains professor emeritus of this university. He had also been head (and in a way a founder) of Laboratory for Algorithmics Complexity and Logic from 1997 until 2007.

In 1981–1987 he was a part-time professor of the Leningrad Polytechnical Institute, and during 1988–1992 he was a professor and head of the Department of Computer Science at Leningrad State University, Faculty of Mathematics and Mechanics, whose creation he initiated (the teams of the Department were world champions of ACM International Collegiate Programming Contest four times). Many mathematicians (among them Yuri Matiyasevich, Dima Grigoriev, E.Hirsch) started their research in his seminars for students.

Slissenko was invited as a speaker at many conferences, in particular at International Congress of Mathematicians in 1983, in Warsaw, Poland.

Research

Among his results one can mention a six-head one-tape Turing machine that recognizes palindromes in real-time, an algorithm (for a kind of pointer machine) that solves in real-time a large variety of string-matching problems (including finding of all periodicities in a compact form), Slissenko graph-grammars (that describe classes of NP-hard problems solvable in polytime), decidable classes of verification of hard-real-time controllers,Danièle Beauquier, Anatol Slissenko. A first order logic for specification of timed algorithms: basic properties and a decidable class. Annals of Pure and Applied Logic, 113(1–3):13–52, 2002.
/ref> algorithms for constructing shortest paths among semi-algebraic obstacles, and entropy-like concepts for analysis of algorithms and inference systems.

He collaborated with N.Shanin, S.Maslov, G.Mints and V.Orevkov on automatic theorem proving, and with D.Beauquier D.Grigoriev, D.Burago, A.Rabinovich, P. Vasilyev and others on some algorithmic problems, see.Anatol Slissenko's homepage
/ref>

References

External links

*

{{DEFAULTSORT:Slissenko, Anatol
Russian mathematicians
French mathematicians
Living people
1941 births