21 relations: ACM SIGACT, Association for Computing Machinery, Closure (mathematics), Complement (set theory), Complexity class, Cornell University, Descriptive complexity theory, Gödel Prize, Guggenheim Fellowship, Immerman–Szelepcsényi theorem, Juris Hartmanis, List of Fellows of the Association for Computing Machinery, Logical Methods in Computer Science, Manhasset, New York, NSPACE, Róbert Szelepcsényi, SIAM Journal on Computing, Theoretical computer science, Turing Award, University of Massachusetts Amherst, Yale University.
ACM SIGACT
ACM SIGACT or SIGACT is the Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory, whose purpose is support of research in theoretical computer science.
New!!: Neil Immerman and ACM SIGACT · See more »
Association for Computing Machinery
The Association for Computing Machinery (ACM) is an international learned society for computing.
New!!: Neil Immerman and Association for Computing Machinery · See more »
Closure (mathematics)
A set has closure under an operation if performance of that operation on members of the set always produces a member of the same set; in this case we also say that the set is closed under the operation.
New!!: Neil Immerman and Closure (mathematics) · See more »
Complement (set theory)
In set theory, the complement of a set refers to elements not in.
New!!: Neil Immerman and Complement (set theory) · See more »
Complexity class
In computational complexity theory, a complexity class is a set of problems of related resource-based complexity.
New!!: Neil Immerman and Complexity class · See more »
Cornell University
Cornell University is a private and statutory Ivy League research university located in Ithaca, New York.
New!!: Neil Immerman and Cornell University · See more »
Descriptive complexity theory
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.
New!!: Neil Immerman and Descriptive complexity theory · See more »
Gödel Prize
The Gödel Prize is an annual prize for outstanding papers in the area of theoretical computer science, given jointly by European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery Special Interest Group on Algorithms and Computational Theory (ACM SIGACT).
New!!: Neil Immerman and Gödel Prize · See more »
Guggenheim Fellowship
Guggenheim Fellowships are grants that have been awarded annually since 1925 by the John Simon Guggenheim Memorial Foundation to those "who have demonstrated exceptional capacity for productive scholarship or exceptional creative ability in the arts".
New!!: Neil Immerman and Guggenheim Fellowship · See more »
Immerman–Szelepcsényi theorem
In computational complexity theory, the Immerman–Szelepcsényi theorem states that nondeterministic space complexity classes are closed under complementation.
New!!: Neil Immerman and Immerman–Szelepcsényi theorem · See more »
Juris Hartmanis
Juris Hartmanis (born July 5, 1928) is a prominent computer scientist and computational theorist who, with Richard E. Stearns, received the 1993 ACM Turing Award "in recognition of their seminal paper which established the foundations for the field of computational complexity theory".
New!!: Neil Immerman and Juris Hartmanis · See more »
List of Fellows of the Association for Computing Machinery
This article lists ACM Fellows, an award and fellowship granted by the Association for Computing Machinery (ACM) as its highest honorary grade of membership, reserved for ACM members who have exhibited "professional excellence" in their "technical, professional and leadership contributions" Since 1993, the people that have been elected as Fellows are listed below.
New!!: Neil Immerman and List of Fellows of the Association for Computing Machinery · See more »
Logical Methods in Computer Science
Logical Methods in Computer Science is a peer-reviewed open access scientific journal covering theoretical computer science and applied logic.
New!!: Neil Immerman and Logical Methods in Computer Science · See more »
Manhasset, New York
Manhasset is a hamlet and census-designated place (CDP) in Nassau County, New York, on the North Shore of Long Island.
New!!: Neil Immerman and Manhasset, New York · See more »
NSPACE
In computational complexity theory, non-deterministic space or NSPACE is the computational resource describing the memory space for a non-deterministic Turing machine.
New!!: Neil Immerman and NSPACE · See more »
Róbert Szelepcsényi
Róbert Szelepcsényi (born 19 August 1966, Žilina) was a Slovak student of Hungarian descent and a member of the Faculty of Mathematics, Physics and Informatics of Comenius University in Bratislava.
New!!: Neil Immerman and Róbert Szelepcsényi · See more »
SIAM Journal on Computing
The SIAM Journal on Computing is a scientific journal focusing on the mathematical and formal aspects of computer science.
New!!: Neil Immerman and SIAM Journal on Computing · See more »
Theoretical computer science
Theoretical computer science, or TCS, is a subset of general computer science and mathematics that focuses on more mathematical topics of computing and includes the theory of computation.
New!!: Neil Immerman and Theoretical computer science · See more »
Turing Award
The ACM A.M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) to an individual selected for contributions "of lasting and major technical importance to the computer field".
New!!: Neil Immerman and Turing Award · See more »
University of Massachusetts Amherst
The University of Massachusetts Amherst (abbreviated UMass Amherst and colloquially referred to as UMass or Massachusetts) is a public research and land-grant university in Amherst, Massachusetts, United States, and the flagship campus of the University of Massachusetts system.
New!!: Neil Immerman and University of Massachusetts Amherst · See more »
Yale University
Yale University is an American private Ivy League research university in New Haven, Connecticut.
New!!: Neil Immerman and Yale University · See more »
References
[1] https://en.wikipedia.org/wiki/Neil_Immerman