Gerard

Gerard J. Holzmann

Gerard
#45,308
Most Influential Person Now

Dutch computer scientist

Gerard J. Holzmann's Academic­Influence.com Rankings

Gerard J. Holzmann
Computer Science
#2899
World Rank
#3036
Historical Rank
Software Engineering
#422
World Rank
#428
Historical Rank
Database
#7724
World Rank
#8030
Historical Rank
computer-science Degrees
Download Badge
  • Computer Science

Gerard J. Holzmann's Degrees

Similar Degrees You Can Earn

Why Is Gerard J. Holzmann Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Gerard J. Holzmann is a Dutch-American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker. Biography 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 under Willem van der Poel and J.L. de Kroes with a thesis entitled Coordination problems in multiprocessing systems. After receiving a Fulbright Scholarship he was a post-graduate student at the University of Southern California for another year, where he worked with Per Brinch Hansen.

(See a Problem?)

Gerard J. Holzmann's Published Works

Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
5101520253035404550556065

Published Works

  • Mars code (2014) (63)
  • Le premier réseau de données (1994) (0)
  • Appareil et méthodes pour la réalisation de protocoles (1993) (0)

This paper list is powered by the following services:

Metadata from Crossref logo

Other Resources About Gerard J. Holzmann

What Schools Are Affiliated With Gerard J. Holzmann?

Gerard J. Holzmann is affiliated with the following schools: