A good friend of mine bumped into him at a party about 25 years ago and he said he'd being doing math work for the NSA.