Professor names in CLR exercise questions

Im taking the course Analysis of Algorithms under Dr Arunava Banerjee. The textbook is the standard book Introduction to Algorithms by CLR.  Some of the exercise questions  in the book refers to professor names. Like Professor ABC claimed theorem XYZ. Give a counter example etc etc. I wondered if they were really professor names. Well as usual googled and found the answer.

All these are some real personalities (not professors) and the question is to make fun of them.

Example:

Page 557 of the book refers to Professor Deaver

The exercise is on strongly connected components, and Michael Deaver used his connections to excess in the Reagan administration.