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?

Context paragraphs:
National Center for Atmospheric Research: The US National Center for Atmospheric Research (NCAR, ) is a US federally funded research and development center (FFRDC) managed by the nonprofit University Corporation for Atmospheric Research (UCAR) and funded by the National Science Foundation (NSF).  NCAR has multiple facilities, including the I. M. Pei-designed Mesa Laboratory headquarters in Boulder, Colorado.  Studies include meteorology, climate science, atmospheric chemistry, solar-terrestrial interactions, environmental and societal impacts.

National Cybersecurity FFRDC: The National Cybersecurity FFRDC (NCF) is a federally funded research and development center operated by MITRE Corporation.  It supports the U.S. National Institute of Standards and Technology's National Cybersecurity Center of Excellence.  NCF is the first and, as of March 2017, only federally funded research and development center dedicated solely to cybersecurity.  The National Cybersecurity FFRDC is located at 9700 Great Seneca Hwy in Rockville, Maryland.

Software Engineering Institute: The Carnegie Mellon Software Engineering Institute (SEI) is a federally funded research and development center headquartered on the campus of Carnegie Mellon University in Pittsburgh, Pennsylvania, United States.  The SEI also has offices in Washington, DC and Los Angeles, California.  The SEI operates with major funding from the U.S. Department of Defense.  The SEI also works closely with industry and academia through research collaborations.

National Radio Astronomy Observatory: The National Radio Astronomy Observatory (NRAO) is a Federally Funded Research and Development Center of the United States National Science Foundation operated under cooperative agreement by Associated Universities, Inc for the purpose of radio astronomy.  NRAO designs, builds, and operates its own high sensitivity radio telescopes for use by scientists around the world.

Frederick National Laboratory for Cancer Research: The Frederick National Laboratory for Cancer Research (FNLCR) is a United States Federally Funded Research and Development Center (FFRDC) supported by the National Cancer Institute and managed by the private contractor Leidos Biomedical Research.  The institution was originally established under the name Frederick Cancer Research and Development Center in 1972 as a component of President Richard Nixon's War on Cancer initiative.  In 2012, the institution received a national laboratory designation and assumed its current name, becoming the only U.S. national laboratory exclusively dedicated to biomedical research.  The campus in Frederick, Maryland also houses National Cancer Institute laboratories and administrative organizations, and is colloquially referred to as NCI-Frederick.

Lawrence Livermore National Laboratory: Lawrence Livermore National Laboratory (LLNL) is an American federal research facility in Livermore, California, United States, founded by the University of California in 1952.  A Federally Funded Research and Development Center (FFRDC), it is primarily funded by the U.S. Department of Energy (DOE) and managed and operated by Lawrence Livermore National Security, LLC (LLNS), a partnership of the University of California, Bechtel, BWX Technologies, AECOM, and Battelle Memorial Institute in affiliation with the Texas A&M University System.  In 2012, the laboratory had the synthetic chemical element livermorium named after it.

Error detection and correction: In information theory and coding theory with applications in computer science and telecommunication, error detection and correction or error control are techniques that enable reliable delivery of digital data over unreliable communication channels.  Many communication channels are subject to channel noise, and thus errors may be introduced during transmission from the source to a receiver.  Error detection techniques allow detecting such errors, while error correction enables reconstruction of the original data in many cases.

Science and Technology Policy Institute: The Science and Technology Policy Institute (STPI) is a Federally funded research and development center located in Washington, D.C. STPI provides objective research and analysis on science and technology policy issues in support of the White House Office of Science and Technology Policy (OSTP), as well as for its sponsor, the National Science Foundation, and other science-performing Federal agencies.  STPI is administered by the non-profit Institute for Defense Analyses, located in Alexandria, Virginia.

Patrick J. Miller: Patrick J. Miller is a computer scientist and high performance parallel applications developer with a Ph.D. in Computer Science from University of California, Davis, in run-time error detection and correction.  Until recently he was with Lawrence Livermore National Laboratory.

CERT Coordination Center: The CERT Coordination Center (CERT/CC) is the coordination center of the computer emergency response team (CERT) for the Software Engineering Institute (SEI), a non-profit United States federally funded research and development center.  The CERT/CC researches software bugs that impact software and internet security, publishes research and information on its findings, and works with business and government to improve security of software and the internet as a whole.

Supporting paragraphs: Patrick J. Miller Lawrence Livermore National Laboratory
Answer: University of California