Neil Immerman

Neil Immerman
Neil Immerman
Residencia Bandera de los Estados Unidos Estados Unidos
Nacionalidad Estadounidense
Campo Ciencias de la computación
Instituciones Universidad Amherst Massachusetts
Alma máter Universidad Cornell
Universidad Yale
Supervisor doctoral Juris Hartmanis
Conocido por Teorema de Immerman-Szelepcsényi
Sociedades ACM
Premios
destacados
Premio Gödel (1995)

Neil Immerman es un informático teórico estadounidense, profesor de ciencias de la computación en la Universidad Amherst Massachusetts.[1] Es uno de los desarrolladores clave de la teoría de la complejidad descriptiva.

Immerman es editor de la SIAM Journal on Computing[2] y de Logical Methods in Computer Science.[3] Recibió su grados académicos de B.S. y M.S. en la Universidad Yale en 1974 y su Ph.D. en la Universidad Cornell en 1980 bajo la supervisión de Juris Hartmanis, ganador del Premio Turing en Cornell.[1] [4] Su libro "Descriptive Complexity" apareció fue publicado en 1999.[5]

Immerman es el ganador, junto con Róbert Szelepcsényi, del Premio Gödel otorgado en 1995 por su demostración del Teorema de Immerman-Szelepcsényi, un resultado que dice que las clases de complejidad NSPACE son cerradas bajo la operación complemento.[6] Immerman es miembro honorario de la ACM[7] y un becado por la Beca Guggenheim.[8]

Referencias

  1. a b Directorio de la Facultad: Neil Immerman, Departamento de Ciencias de Computación, Universidad Amherst Massachusetts, revisado el 30 de abril de 2010.
  2. Editorial board, SIAM Journal on Computing, revisado el 30 de abril de 2010.
  3. Editorial board, Logical Methods in Computer Science, revisado el 20 de abril de 2010.
  4. Neil Immerman en el Mathematics Genealogy Project.
  5. Graduate Texts in Computer Science, Springer-Verlag, ISBN 9780387986005.
  6. Premio Gödel de 1995, ACM SIGACT, revisado el 30 de abril de 2010.
  7. ACM Fellows Award / Neil Immerman, Association for Computing Machinery, revisado el 30 de abril de 2010.
  8. Neil Immerman, John Simon Guggenheim Memorial Foundation, revisado el 30 de abril de 2010.

Enlaces externos


Wikimedia foundation. 2010.

Игры ⚽ Поможем сделать НИР

Mira otros diccionarios:

  • Neil Immerman — in 2010. Neil Immerman (24 November 1953, Manhasset, New York) is an American theoretical computer scientist, a professor of computer science at the University of Massachusetts Amherst.[1] He is one of the key developers of descriptive complexi …   Wikipedia

  • Neil Immerman — (2010) Neil Immerman (* 24. November 1953 in Manhasset, New York) ist ein amerikanischer Wissenschaftler im Bereich der theoretischen Informatik und Professor an der University of Massachusetts Amherst …   Deutsch Wikipedia

  • Immerman–Szelepcsényi theorem — The Immerman–Szelepcsényi Theorem was proven independently by Neil Immerman and Róbert Szelepcsényi in 1987, for which they shared the 1995 Gödel Prize. In its general form the theorem states that NSPACE = co NSPACE. In other words, if a… …   Wikipedia

  • St-connectivity — In computer science and computational complexity theory, st connectivity is a decision problem asking, for vertices s and t in a directed graph, if t is reachable from s .Formally, the decision problem is given by PATH = { | D is a directed graph …   Wikipedia

  • Prix Gödel — Nommé en l honneur du logicien Kurt Gödel, le prix Gödel a été créé en 1992 par l European Association for Theoretical Computer Science (EATCS), l Association for Computing Machinery (ACM) et le groupe de l ACM sur l algorithmique et la théorie… …   Wikipédia en Français

  • Descriptive complexity — is a branch of finite model theory, a subfield of computational complexity theory and mathematical logic, which seeks to characterize complexity classes by the type of logic needed to express the languages in them. For example, PH, the union of… …   Wikipedia

  • BIT predicate — In mathematical logic, the BIT predicate, sometimes written BIT(i,j), is a predicate which tests whether the j th bit of the number i is 1, when i is written in binary. The BIT predicate is often examined in the context of first order logic,… …   Wikipedia

  • Descriptive complexity theory — For other uses, see Kolmogorov complexity. Descriptive complexity is a branch of computational complexity theory and of finite model theory that characterizes complexity classes by the type of logic needed to express the languages in them. For… …   Wikipedia

  • Automate linéairement borné — En informatique théorique, et en particulier en théorie des automates, un automate linéairement borné (en anglais linear bounded automaton, abrégé en LBA) est une machine de Turing non déterministe assujettie à des restrictions dans son mode… …   Wikipédia en Français

  • First-order reduction — A first order reduction is a very weak type of reduction between two computational problems in computational complexity theory. A first order reduction is a reduction where each component is restricted to be in the class FO of problems calculable …   Wikipedia

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”