CS Alum John Hennessy Named Distinguished Alumni Hall of Fame Honoree