search menu icon-carat-right cmu-wordmark

Richard C. Linger (Oak Ridge National Laboratory)

Oak Ridge National Laboratory

Richard Linger is a Senior Member of the Technical Staff and Manager of the CERT Secure Systems Analysis Group at the Software Engineering Institute, Carnegie Mellon University. He directs research and development on Function Extraction (FX) technology for software behavior computation, with a focus on malware analysis and software test and evaluation. He has also served as an adjunct faculty member at the CMU Heinz School of Public Policy and Management. At IBM, Richard co-developed Cleanroom Software Engineering technology for development of high reliability software systems, including box-structure specification, function-theoretic design and correctness verification, and statistical usage-based testing for certification of software fitness for use. He has extensive experience in project management; software specification, design, verification, testing, and certification; software re-engineering and reverse engineering; and technology transfer and education. He has published three software engineering textbooks, 12 book chapters, and over 60 papers and journal articles. He is a member of the AIAA and ACM, and a senior member of the IEEE.

Publications by Richard C. Linger (Oak Ridge National Laboratory)