Gerard HolzmannInterview
Software researcher (JPL), developer (Spin)
Adapted from Gerard Holzmann's interview on Uses This, published 18 June 2013. The kit is drawn from their answers and each reason is an excerpt, lightly edited. Shared under CC BY-SA 4.0. Read the full interview ↗
Is this you? Claim this kit →Hardware
My laptop is a small Toshiba Portege Z930-S9301 Ultrabook running Windows 7.
The camera I currently use most, though, is a Canon 5D Mark II.
I for instance wrote some digital darkroom software at Bell Labs in 1983 called pico.
Productivity
Coding & Development
For text editing I use Rob Pike's sam screen editor - an old-time favorite of the former Center 1127 gang from Bell Labs.
Design
Other
I'm probably best known for developing the Spin tool for verifying multi-threaded code.