Gerard J. Holzmann

• The early history of data networks
• Design and validation of computer protocols
• Beyond photography
• Partial order methods in verification
• The SPIN Model Checker