Richard C. Linger is the Technical Manager for Survivable Systems Engineering and a senior member of the technical staff. Linger directs several research projects, including Flow-Service-Quality Engineering for network-centric system survivability analysis and design, and Function Extraction Technology for automated computation of program behavior to reveal errors, vulnerabilities, and malicious code. Linger is also a member of the faculty at the Carnegie Mellon University Heinz School of Public Policy and Management, and lectures at the School of Computer Science.

Prior to his work at the SEI, Linger partnered with Dr. Harlan Mills at IBM to create Cleanroom Software Engineering technology for development of ultra-reliable software systems, including box-structure specification, function-theoretic design and correctness verification, and statistical usage-based testing for certification of software fitness for use. Linger pioneered use of Cleanroom technology for product development, achieving zero-defect performance with improved productivity, and founded and managed the IBM Cleanroom Software Technology Center.

Linger has extensive experience in project management; system specification, architecture, design, verification, and certification; software re-engineering and reverse engineering; and process improvement, technology transfer, and education. He has published three software engineering textbooks, twelve book chapters, and over 60 papers and journal articles. He belongs to the Association for Computing Machinery (ACM) and the IEEE Computer Society.

research interests

Linger's research interests include theoretical foundations for systems and software development and management, design of survivable network-centric systems, development of zero-defect software for security improvement, software project management, and transformational technologies for the next 20 years of software engineering.

recent publications

"Developing Secure Software with Cleanroom Software Engineering" (with S. Prowell). Improving Security Across the Software Development Lifecycle. Task Force Report, Volume II, National Cyber Security Summit. March, 2004 (S. Redwine and N. Davis, eds.).

"Improving Network System Security with Function Extraction Technology for Automated Computation of Program Behavior" (with M. Pleszkoch). Proceedings of Hawaii International Conference on System Sciences-38 (HICSS-38). IEEE Computer Society Press. Hawaii. January, 2004.

Flow-Service-Quality (FSQ) Engineering: Foundations for Network System Analysis and Development (with A. Hevner, G. Walton, and M. Pleszkoch) CMU/SEI 2002 TN-0019. Software Engineering Institute, Carnegie Mellon University. 2002.

Cleanroom Software Engineering: Technology and Process (with S. Prowell, C. Trammell, and J. Poore). Addison-Wesley, 1999. ISBN 0-201-85480-5.

links

• CERT/CC research