Anatol Slissenko
Thèmes de la recherche actuelle:
- Approche logique de la vérification de programmes
distribués temps réel.
- Modèles probabilistes de la sécurité des
systèmes informatiques.
- Implémentation des programmes distribués temps réel.
Thèmes de
recherche développés auparavant :
-- Prouveurs automatiques (1962--1967)
-- Analyse récursive (constructive) (1962--1967)
--
Algorithmique et complexité :
-
Reconnaissance des palindrômes en temps réel par une machine de Turing
avec 6 têtes (1969-1973, breakthrough)
- Algorithme temps réel qui trouve toute
les périodicités dans un mot en forme compacte et résout en temps
réel les problèmes classiques de string-matching (1978-1981, breakthrough)
- Algorithmes en
temps polynomial pour la recherche les plus courts chemins parmi les
obstacles semi-algébrique (1991-2005)
- Complexité des processus
de décision markoviens (1994-1996)
- Grammaires de
graphes pour décrire des classes polytimes des problems difficiles
(grammaires de Slisenko, 1979-1982)
- Notion
d'entropie des systèmes de représentation de connaissances (1991)
- Notion de
LRAM, notion de la complexité de calcul d'un instance conrète
d'un problème (1977-1978)
- Syntaxe tolérante aux
pannes (1990-1993)