Neil Immerman
http://dbpedia.org/resource/Neil_Immerman an entity of type: Thing
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.
rdf:langString
Neil Immerman (ur. 24 listopada 1953 w Manhasset) – amerykański informatyk teoretyk, jeden z głównych twórców teorii złożoności opisowej, profesor informatyki na Uniwersytecie Massachusetts w Amherst, laureat Nagrody Gödla.
rdf:langString
Neil Immerman, né le 24 novembre 1953 à 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 à Amherst. 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.
rdf:langString
Neil Immerman es un informático teórico estadounidense, profesor de ciencias de la computación en la . Es uno de los desarrolladores clave de la . Immerman es editor de la SIAM Journal on Computing y de . 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. Su libro "Descriptive Complexity" apareció fue publicado en 1999.
rdf:langString
Neil Immerman (born 24 November 1953, Manhasset, New York) is an American theoretical computer scientist, a professor of computer science at the University of Massachusetts Amherst. He is one of the key developers of descriptive complexity, an approach he is currently applying to research in model checking, database theory, and computational complexity theory.
rdf:langString
Neil Immerman은 뉴욕 Manhasset에서 1952년 11월 24일에 태어난 미국의 이론 컴퓨터 과학자이며, 현재 매사추세츠 앰허스트 대학 (University of Massachusetts Amherst)의 컴퓨터 학과 교수로 재임 중이다. 그는 모델체킹, 데이터베이스 이론, 계산복잡도 이론에서의 연구에 적용하고있는 접근방법인, descriptive complexity의 핵심 개발자 중의 하나이다. Immerman교수는 SIAM Journal on Computing와 Logical Methods in Computer Science의 에디터이기도 하다. 뿐만아니라 ACM fellowship과 Guggenheim fellowship을 갖고있다. 그는 1974년 예일대학교에서 학사학위와 석사학위를 받았고, 코넬대학의 튜링 상 수상자인 Juris Hartmanis교수의 지도 하에 1980년 박사학위를 받았다. 그리고 그는 그의 저서 "Descriptive Complexity"를 1999년에 출판하였다. 이 Immerman–Szelepcsényi 이론은 비결정론적 공간 복잡도 클래스가 여공간(집합) 아래에 닫힌 상태임을 나타낸다.
rdf:langString
Neil Immerman (24 de novembro de 1953, cidade de Manhasset, Nova Iorque) é um teórico cientista da computação americano, professor de ciência da computação da Universidade de Massachusetts Amherst. Ele é um dos principais desenvolvedores da complexidade descritiva, uma abordagem que ele está aplicando atualmente à pesquisa em verificação de modelo (model checking), teoria de banco de dados, e a teoria da complexidade computacional.
rdf:langString
rdf:langString
Neil Immerman
rdf:langString
Neil Immerman
rdf:langString
Neil Immerman
rdf:langString
Neil Immerman
rdf:langString
닐 이머만
rdf:langString
Neil Immerman
rdf:langString
Neil Immerman
xsd:integer
1370768
xsd:integer
1085302117
rdf:langString
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.
rdf:langString
Neil Immerman es un informático teórico estadounidense, profesor de ciencias de la computación en la . Es uno de los desarrolladores clave de la . Immerman es editor de la SIAM Journal on Computing y de . 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. Su libro "Descriptive Complexity" apareció fue publicado en 1999. Immerman es el ganador, junto con Róbert Szelepcsényi, del Premio Gödel otorgado en 1995 por su demostración del , un resultado que dice que las clases de complejidad NSPACE son bajo la operación complemento. Immerman es miembro honorario de la ACM y un becado por la Beca Guggenheim.
rdf:langString
Neil Immerman (born 24 November 1953, Manhasset, New York) is an American theoretical computer scientist, a professor of computer science at the University of Massachusetts Amherst. He is one of the key developers of descriptive complexity, an approach he is currently applying to research in model checking, database theory, and computational complexity theory. Professor Immerman is an editor of the SIAM Journal on Computing and of Logical Methods in Computer Science. He received B.S. and M.S. degrees from Yale University in 1974 and his Ph.D. from Cornell University in 1980 under the supervision of Juris Hartmanis, a Turing Award winner at Cornell. His book Descriptive Complexity appeared in 1999. Immerman is the winner, jointly with Róbert Szelepcsényi, of the 1995 Gödel Prize in theoretical computer science for proof of what is known as the Immerman–Szelepcsényi theorem, the result that nondeterministic space complexity classes are closed under complementation. Immerman is an ACM Fellow and a Guggenheim Fellow.
rdf:langString
Neil Immerman, né le 24 novembre 1953 à 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 à Amherst. 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 Computing et Logical Methods in Computer Science. 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 1999. 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émentation. Immerman un membre distingué de l'Association for Computing Machinery (ACM Fellow) et un boursier de la Fondation Guggenheim.
rdf:langString
Neil Immerman은 뉴욕 Manhasset에서 1952년 11월 24일에 태어난 미국의 이론 컴퓨터 과학자이며, 현재 매사추세츠 앰허스트 대학 (University of Massachusetts Amherst)의 컴퓨터 학과 교수로 재임 중이다. 그는 모델체킹, 데이터베이스 이론, 계산복잡도 이론에서의 연구에 적용하고있는 접근방법인, descriptive complexity의 핵심 개발자 중의 하나이다. Immerman교수는 SIAM Journal on Computing와 Logical Methods in Computer Science의 에디터이기도 하다. 뿐만아니라 ACM fellowship과 Guggenheim fellowship을 갖고있다. 그는 1974년 예일대학교에서 학사학위와 석사학위를 받았고, 코넬대학의 튜링 상 수상자인 Juris Hartmanis교수의 지도 하에 1980년 박사학위를 받았다. 그리고 그는 그의 저서 "Descriptive Complexity"를 1999년에 출판하였다. Immerman은 Róbert Szelepcsényi와 공동으로 Immerman–Szelepcsényi 이론으로 알려져있는 증명에 대해, 1995년 이론 컴퓨터 과학의 Gödel Prize를 수상했다. 이 Immerman–Szelepcsényi 이론은 비결정론적 공간 복잡도 클래스가 여공간(집합) 아래에 닫힌 상태임을 나타낸다.
rdf:langString
Neil Immerman (ur. 24 listopada 1953 w Manhasset) – amerykański informatyk teoretyk, jeden z głównych twórców teorii złożoności opisowej, profesor informatyki na Uniwersytecie Massachusetts w Amherst, laureat Nagrody Gödla.
rdf:langString
Neil Immerman (24 de novembro de 1953, cidade de Manhasset, Nova Iorque) é um teórico cientista da computação americano, professor de ciência da computação da Universidade de Massachusetts Amherst. Ele é um dos principais desenvolvedores da complexidade descritiva, uma abordagem que ele está aplicando atualmente à pesquisa em verificação de modelo (model checking), teoria de banco de dados, e a teoria da complexidade computacional. Professor Immerman é um editor do SIAM Journal on Computing and of Logical Methods in Computer Science. Ele é graduado pela Universidade de Yale em 1974, e Ph.D. pela Universidade Cornell em 1980 sob a orientação de Juris Hartmanis, um ganhador do Prêmio Turing da Universidade Cornell. Seu livro "Descriptive Complexity" foi publicado em 1999. Immerman é o vencedor, juntamente com Róbert Szelepcsényi, do Prêmio Gödel de 1995 em informática teórica pela prova do que hoje é conhecido como o teorema de Immerman–Szelepcsényi, o resultado que classes de complexidade de espaço não determinístico são fechadas sob complementação. Immerman é um ACM Fellow e uma Guggenheim Fellow.
xsd:nonNegativeInteger
3806
