Logo
Unionpedia
Communication
Get it on Google Play
New! Download Unionpedia on your Android™ device!
Free
Faster access than browser!
 

Gerard J. Holzmann

Index Gerard J. Holzmann

Gerard J. Holzmann (born 1951) is a Dutch-born American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker. [1]

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

Addison-Wesley is a publisher of textbooks and computer literature.

New!!: Gerard J. Holzmann and Addison-Wesley · See more »

Amsterdam

Amsterdam is the capital and most populous municipality of the Netherlands.

New!!: Gerard J. Holzmann and Amsterdam · See more »

Association for Computing Machinery

The Association for Computing Machinery (ACM) is an international learned society for computing.

New!!: Gerard J. Holzmann and Association for Computing Machinery · See more »

Bell Labs

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.

New!!: Gerard J. Holzmann and Bell Labs · See more »

California

California is a state in the Pacific Region of the United States.

New!!: Gerard J. Holzmann and California · See more »

Computer scientist

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.

New!!: Gerard J. Holzmann and Computer scientist · See more »

Concurrency (computer science)

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.

New!!: Gerard J. Holzmann and Concurrency (computer science) · See more »

Delft University of Technology

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.

New!!: Gerard J. Holzmann and Delft University of Technology · See more »

Doctor of Philosophy

A Doctor of Philosophy (PhD or Ph.D.; Latin Philosophiae doctor) is the highest academic degree awarded by universities in most countries.

New!!: Gerard J. Holzmann and Doctor of Philosophy · See more »

Electrical engineering

Electrical engineering is a professional engineering discipline that generally deals with the study and application of electricity, electronics, and electromagnetism.

New!!: Gerard J. Holzmann and Electrical engineering · See more »

Engineer's degree

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.

New!!: Gerard J. Holzmann and Engineer's degree · See more »

IEEE Computer Society

IEEE Computer Society (sometimes abbreviated Computer Society or CS) is a professional society of IEEE.

New!!: Gerard J. Holzmann and IEEE Computer Society · See more »

Institute of Electrical and Electronics Engineers

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.

New!!: Gerard J. Holzmann and Institute of Electrical and Electronics Engineers · See more »

Jet Propulsion Laboratory

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.

New!!: Gerard J. Holzmann and Jet Propulsion Laboratory · See more »

Model checking

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.

New!!: Gerard J. Holzmann and Model checking · See more »

NASA

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.

New!!: Gerard J. Holzmann and NASA · See more »

National Academy of Engineering

The National Academy of Engineering (NAE) is an American nonprofit, non-governmental organization.

New!!: Gerard J. Holzmann and National Academy of Engineering · See more »

Netherlands

The Netherlands (Nederland), often referred to as Holland, is a country located mostly in Western Europe with a population of seventeen million.

New!!: Gerard J. Holzmann and Netherlands · See more »

Paris Kanellakis Award

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".

New!!: Gerard J. Holzmann and Paris Kanellakis Award · See more »

Pasadena, California

Pasadena is a city in Los Angeles County, California, United States, located 10 miles (16 kilometers) northeast of Downtown Los Angeles.

New!!: Gerard J. Holzmann and Pasadena, California · See more »

Per Brinch Hansen

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.

New!!: Gerard J. Holzmann and Per Brinch Hansen · See more »

Prentice Hall

Prentice Hall is a major educational publisher owned by Pearson plc.

New!!: Gerard J. Holzmann and Prentice Hall · See more »

SPIN model checker

SPIN is a general tool for verifying the correctness of concurrent software models in a rigorous and mostly automated fashion.

New!!: Gerard J. Holzmann and SPIN model checker · See more »

Unix

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.

New!!: Gerard J. Holzmann and Unix · See more »

Willem van der Poel

Willem Louis van der Poel (2 December 1926, The Hague) is a pioneering Dutch computer scientist, who is known for designing the ZEBRA computer.

New!!: Gerard J. Holzmann and Willem van der Poel · See more »

Redirects here:

Gerard Holzmann.

References

[1] https://en.wikipedia.org/wiki/Gerard_J._Holzmann

OutgoingIncoming
Hey! We are on Facebook now! »