(Please reuse the photo from my article in Computer
Networks in Vol 25, No. 9, pp. 981-1017.)

Short Bio --

Gerard J. Holzmann received a Ph.D. degree in technical sciences
in 1979 from the Delft University of Technology in The Netherlands.
He has written three books (on digital photography,
on protocol verification, and on the history of communication)
and numerous technical papers.
Dr. Holzmann is a distinguished member of technical staff in the
Computing Principles Research Department of
AT&T Bell Laboratories in Murray Hill, New Jersey.
He wrote his first on-the-fly protocol verifier, called PAN,
at Bell Labs in 1980.  His current system, called SPIN, is
one of the most widely distributed model checking systems today.
It is estimated to have well over 1,000 active users in both
academia and in industry.