Neil Immerman
Neil Immerman · Technologie & ingénierie
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.
1953, États-Unis
États-Unis
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
Cette page paraît en sept langues à partir d'une source anglaise. Les traductions sont relues, mais une erreur peut passer. Si vous en repérez une sur cette fiche — un mot fautif, une date perdue, une phrase qui dit autre chose que l'anglais —, signalez-la-nous.
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.
Source : Jinfo.org — Jewish recipients of the Gödel Prize
Contributeurs similaires
Noam Nisan
Ronald Fagin
Shmuel Safra
