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.