Patrick Lincoln
President, Information and Computing Sciences
Patrick Lincoln, Ph.D., leads SRI’s Information and Computing Sciences Division, which creates new technology in information security, system design, speech and natural language, vision and perception, planning and reasoning, and formal methods. The group’s leading-edge research is complemented with a strong focus on intellectual property creation and commercialization. Projects include Internet interaction, intrusion detection software, physical and virtual information spaces, and technology for dynamic enterprise management.
He joined SRI in 1989 and prior to his current role, he was the director of the Computer Science Laboratory, executive director of SRI’s program for the Department of Homeland Security’s Cyber Security Research and Development Center, and director of the SRI Center for Computational Biology. His expertise is in the fields of formal methods, computer security and privacy, computational biology, scalable distributed systems, and nanoelectronics. He has led multidisciplinary groups to high-impact research projects including symbolic systems biology, scalable anomaly detection, exquisitely sensitive biosensor systems, strategic reasoning and game theory, and privacy-preserving data sharing. Under his leadership, SRI’s computer science laboratory made significant contributions to the formal analysis of systems, languages, and protocols in computer security, privacy, and fault tolerance, and to their integration into scalable and survivable systems.
Lincoln holds a Ph.D. in Computer Science from Stanford University and a B.Sc. in Computer Science from MIT. Prior to joining to SRI, he has previously held positions at MCC, Los Alamos National Laboratory, and ETA Systems. He has published dozens of influential papers, holds dozens of patents, has served on scientific advisory boards for private and publicly-held companies, and has served on government-related panels including the Defense Science Research Council and the Defense Science Board.
Lincoln was named an SRI Fellow in 2005.
Recent publications
-
A Nonlinear Real Arithmetic Fragment
We present a new procedure for testing satisability (over the reals) of a conjunction of polynomial equations.
-
Neuroscience Meets Cryptography: Crypto Primitives Secure against Rubber Hose Attacks
We present a defense against coercion attacks using the concept of implicit learning from cognitive psychology. We use a carefully crafted computer game to plant a secret password in the participant’s brain…
-
Safety Envelope for Security
We present an approach for detecting sensor spoofing attacks on a cyber-physical system. Our approach consists of two steps. In the first step, we construct a safety envelope of the system. In…