Question: 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?
Sentence (from "Patrick J. Miller"): Until recently he was with Lawrence Livermore National Laboratory.
Relevant evidence: Yes