Neil Immerman

Informaticien americain d'origine juive a l'universite du Massachusetts a Amherst, Immerman est un fondateur de la complexite descriptive, qui mesure la difficulte des problemes par la logique necessaire pour les decrire. Avec Robert Szelepcsenyi, il demontre de facon independante le theoreme d'Immerman-Szelepcsenyi, etablissant que l'espace non deterministe est clos par complementation. Il partage le prix Godel 1995.

Vérifiez et approfondissez avec ces références externes.

Source : Jinfo.org — Jewish recipients of the Gödel Prize