25 relations: Addison-Wesley, Amsterdam, Association for Computing Machinery, Bell Labs, California, Computer scientist, Concurrency (computer science), Delft University of Technology, Doctor of Philosophy, Electrical engineering, Engineer's degree, IEEE Computer Society, Institute of Electrical and Electronics Engineers, Jet Propulsion Laboratory, Model checking, NASA, National Academy of Engineering, Netherlands, Paris Kanellakis Award, Pasadena, California, Per Brinch Hansen, Prentice Hall, SPIN model checker, Unix, Willem van der Poel.
Addison-Wesley is a publisher of textbooks and computer literature.
Amsterdam is the capital and most populous municipality of the Netherlands.
The Association for Computing Machinery (ACM) is an international learned society for computing.
Nokia Bell Labs (formerly named AT&T Bell Laboratories, Bell Telephone Laboratories and Bell Labs) is an American research and scientific development company, owned by Finnish company Nokia.
California is a state in the Pacific Region of the United States.
A computer scientist is a person who has acquired the knowledge of computer science, the study of the theoretical foundations of information and computation and their application.
In computer science, concurrency refers to the ability of different parts or units of a program, algorithm, or problem to be executed out-of-order or in partial order, without affecting the final outcome.
Delft University of Technology (Technische Universiteit Delft) also known as TU Delft, is the largest and oldest Dutch public technological university, located in Delft, Netherlands.
A Doctor of Philosophy (PhD or Ph.D.; Latin Philosophiae doctor) is the highest academic degree awarded by universities in most countries.
Electrical engineering is a professional engineering discipline that generally deals with the study and application of electricity, electronics, and electromagnetism.
An engineer's degree is an advanced academic degree in engineering that is conferred in Europe, some countries of Latin America, and a few institutions in the United States.
IEEE Computer Society (sometimes abbreviated Computer Society or CS) is a professional society of IEEE.
The Institute of Electrical and Electronics Engineers (IEEE) is a professional association with its corporate office in New York City and its operations center in Piscataway, New Jersey.
The Jet Propulsion Laboratory (JPL) is a federally funded research and development center and NASA field center in Pasadena, California, United States, with large portions of the campus in La Cañada Flintridge, California.
In computer science, model checking or property checking refers to the following problem: Given a model of a system, exhaustively and automatically check whether this model meets a given specification.
The National Aeronautics and Space Administration (NASA) is an independent agency of the executive branch of the United States federal government responsible for the civilian space program, as well as aeronautics and aerospace research.
The National Academy of Engineering (NAE) is an American nonprofit, non-governmental organization.
The Netherlands (Nederland), often referred to as Holland, is a country located mostly in Western Europe with a population of seventeen million.
The Paris Kanellakis Theory and Practice Award is granted yearly by the Association for Computing Machinery (ACM) to honor "specific theoretical accomplishments that have had a significant and demonstrable effect on the practice of computing".
Pasadena is a city in Los Angeles County, California, United States, located 10 miles (16 kilometers) northeast of Downtown Los Angeles.
Per Brinch Hansen (November 13, 1938 – July 31, 2007) was a Danish-American computer scientist known for his work in operating systems, concurrent programming and parallel and distributed computing.
Prentice Hall is a major educational publisher owned by Pearson plc.
SPIN is a general tool for verifying the correctness of concurrent software models in a rigorous and mostly automated fashion.
Unix (trademarked as UNIX) is a family of multitasking, multiuser computer operating systems that derive from the original AT&T Unix, development starting in the 1970s at the Bell Labs research center by Ken Thompson, Dennis Ritchie, and others.
Willem Louis van der Poel (2 December 1926, The Hague) is a pioneering Dutch computer scientist, who is known for designing the ZEBRA computer.