Anatol Slissenko
Anatol Slissenko (; Sibéria, ) é 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 e modelos probabilísticos relacionados à ciência da computação.
Fornecido pela Wikipedia
1