Gerard J. Holzmann
Videos
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.
Gerard J. Holzmann 2006
Electrical engineering
Videos
Electrical engineering is an engineering discipline concerned with the study, design, and application of equipment, devices, and systems that use electricity, electronics, and electromagnetism. It eme
Gerard J. Holzmann
…Labs and NASA, 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 under Willem van der Poel…
A long row of disconnectors
The discoveries of Michael Faraday formed the foundation of electric motor technology.
Guglielmo Marconi, known for his pioneering work on long-distance radio transmission
A replica of the first working transistor, a point-contact transistor