Gerard J. Holzmann
Encyclopedia
Gerard J. Holzmann is an American computer scientist, best known as the developer of the SPIN model checker
.
Holzmann was born in Amsterdam
, Netherlands
and received an Engineer's degree
in Electrical Engineering
from the Delft University of Technology
in 1976. He subsequently also received his PhD
degree from Delft University in 1979.
For much of his career (c1980–2003), Holzmann was at Bell Labs
, USA, where he worked in the Computing Science Research Center (the former Unix
research group). Currently, Holzmann leads the NASA
JPL Laboratory for Reliable Software in Pasadena
, California
.
Holzmann is a member of the US National Academy of Engineering
.
SPIN model checker
SPIN is a general tool for verifying the correctness of distributed software models in a rigorous and mostly automated fashion. It was written by Gerard J. Holzmann and others in the original Unix group of the Computing Sciences Research Center at Bell Labs, beginning in 1980...
.
Holzmann was born in Amsterdam
Amsterdam
Amsterdam is the largest city and the capital of the Netherlands. The current position of Amsterdam as capital city of the Kingdom of the Netherlands is governed by the constitution of August 24, 1815 and its successors. Amsterdam has a population of 783,364 within city limits, an urban population...
, Netherlands
Netherlands
The Netherlands is a constituent country of the Kingdom of the Netherlands, located mainly in North-West Europe and with several islands in the Caribbean. Mainland Netherlands borders the North Sea to the north and west, Belgium to the south, and Germany to the east, and shares maritime borders...
and received an Engineer's degree
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....
in Electrical Engineering
Electrical engineering
Electrical engineering is a field of engineering that generally deals with the study and application of electricity, electronics and electromagnetism. The field first became an identifiable occupation in the late nineteenth century after commercialization of the electric telegraph and electrical...
from the Delft University of Technology
Delft University of Technology
Delft University of Technology , also known as TU Delft, is the largest and oldest Dutch public technical university, located in Delft, Netherlands...
in 1976. He subsequently also received his PhD
Doctor of Philosophy
Doctor of Philosophy, abbreviated as Ph.D., PhD, D.Phil., or DPhil , in English-speaking countries, is a postgraduate academic degree awarded by universities...
degree from Delft University in 1979.
For much of his career (c1980–2003), Holzmann was at Bell Labs
Bell Labs
Bell Laboratories is the research and development subsidiary of the French-owned Alcatel-Lucent and previously of the American Telephone & Telegraph Company , half-owned through its Western Electric manufacturing subsidiary.Bell Laboratories operates its...
, USA, where he worked in the Computing Science Research Center (the former Unix
Unix
Unix is a multitasking, multi-user computer operating system originally developed in 1969 by a group of AT&T employees at Bell Labs, including Ken Thompson, Dennis Ritchie, Brian Kernighan, Douglas McIlroy, and Joe Ossanna...
research group). Currently, Holzmann leads the NASA
NASA
The National Aeronautics and Space Administration is the agency of the United States government that is responsible for the nation's civilian space program and for aeronautics and aerospace research...
JPL Laboratory for Reliable Software in Pasadena
Pasadena, California
Pasadena is a city in Los Angeles County, California, United States. Although famous for hosting the annual Rose Bowl football game and Tournament of Roses Parade, Pasadena is the home to many scientific and cultural institutions, including the California Institute of Technology , the Jet...
, California
California
California is a state located on the West Coast of the United States. It is by far the most populous U.S. state, and the third-largest by land area...
.
Holzmann is a member of the US National Academy of Engineering
National Academy of Engineering
The National Academy of Engineering is a government-created non-profit institution in the United States, that was founded in 1964 under the same congressional act that led to the founding of the National Academy of Sciences...
.
Books
- The Spin Model Checker — Primer and Reference Manual, Addison-WesleyAddison-WesleyAddison-Wesley was a book publisher in Boston, Massachusetts, best known for its textbooks and computer literature. As well as publishing books, Addison-Wesley also distributed its technical titles through the Safari Books Online e-reference service...
, 2003. ISBN 0-321-22862-6. - Design and Validation of Computer Protocols, Prentice HallPrentice HallPrentice Hall is a major educational publisher. It is an imprint of Pearson Education, Inc., based in Upper Saddle River, New Jersey, USA. Prentice Hall publishes print and digital content for the 6-12 and higher-education market. Prentice Hall distributes its technical titles through the Safari...
, 1991. - The Early History of Data Networks, IEEE Computer Society Press, 1995.
- Beyond Photography — The Digital Darkroom, Prentice HallPrentice HallPrentice Hall is a major educational publisher. It is an imprint of Pearson Education, Inc., based in Upper Saddle River, New Jersey, USA. Prentice Hall publishes print and digital content for the 6-12 and higher-education market. Prentice Hall distributes its technical titles through the Safari...
, 1988. ISBN 0-13-074410-7.