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?
Patrick J. Miller:  Until recently he was with Lawrence Livermore National Laboratory.
i don't know