Neil Immerman, né le à Manhasset dans l'État de New York, est un informaticien américain, spécialiste de l'informatique théorique, professeur d'informatique à l'université du Massachusetts à AmherstRépertoire de la faculté : Neil Immerman, Computer Science Department, University of Massachusetts Amherst, consulté le 23 janvier 2010.. Il est l'un des développeurs principaux de la complexité descriptive, une approche qu'il utilise actuellement pour la recherche en model checking, théorie des bases de données, et théorie de la complexité informatique.
Neil Immerman est un editeur des revues scientifiques SIAM Journal on ComputingComité de rédaction du SIAM Journal on Computing, consulté le 23 janvier 2010. et Logical Methods in Computer ScienceComité de rédaction, Logical Methods in Computer Science, consulté le 23 janvier 2010.. Il a obtenu une licence B.S. et une maîtrise M.S. à l’université Yale en 1974, et un doctorat Ph.D. à l'université Cornell en 1980 sous la supervision de Juris Hartmanis, lui-même un lauréat du prix Turing.. Son livre Descriptive Complexity est paru en 1999Graduate Texts in Computer Science, Springer-Verlag, ..
Immerman est lauréat, conjointement avec Róbert Szelepcsényi, du prix Gödel en 1995, prix d'informatique théorique qui lui est décerné pour la preuve de ce qui est connu sous le nom de théorème d'Immerman-Szelepcsényi, un résultat prouvant que les classes de complexité NSPACE sont fermées par complémentationprix Gödel 1995, ACM SIGACT, consulté le 23 janvier 2010.. Immerman un membre distingué de l'Association for Computing Machinery (ACM Fellow)ACM Fellows Award / Neil Immerman, ACM, consulté le 23 janvier 2010. et un boursier de la Fondation Guggenheim Neil Immerman, Fondation John Simon Guggenheim, consulté le 23 janvier 2010..
Références
Liens externes
Page personnelle de Neil Immerman à l'université du Massachusetts à Amherst
Catégorie:Personnalité américaine de l'informatique Catégorie:Personnalité en informatique théorique Catégorie:Boursier Guggenheim Catégorie:Étudiant de l'université Yale Catégorie:Docteur de l'université Cornell Catégorie:Professeur à l'université du Massachusetts à Amherst Catégorie:Lauréat du prix Gödel Catégorie:Naissance en novembre 1953 Catégorie:Naissance à Manhasset