Frederick William Brooks Jr.

July 30, 1942  -  April 3, 2015