Founded in 1952, This Federally Funded Research and Development Center employed a high performance computer scientist in run-time error detection with a Ph.D from which university?