Several other characters in that book are also based on real people, albeit living (at time of writing anwyay) ones, so names and some details were changed, as well as adding some more speculation. For example the character Earl Comstock was pretty much Robert McNamara. A lot of the people in the 90's timeline seem to be based on real people Stephenson wrote about in his factual articles. (particularly the ones about cable laying in the pacific).