Patrick Lincoln's Home Page

Patrick Lincoln, Director of SRI's Computer Science Laboratory.

Systems Biology Supported by DARPA and NIH
Formal Methods Supported by NASA, DARPA, NSF, and NSA
Computer Security Supported by DARPA, ONR, and NSA
Rewriting Program Supported by DARPA, NSF, and NSA

Lincoln "at" csl.sri.com, (650) 859-5454,
Computer Science Laboratory
SRI International
MS EL268,
333 Ravenswood Avenue,
Menlo Park, CA, 94025-3493
How to get here.

Academics:

Ph.D. in Computer Science at Stanford University 1992
B.S. in Electrical Engineering and Computer Science at M.I.T. 1986

Work History:

1989-present SRI Computer Science Laboratory (CSL)
1986-1988 MCC, Software Technology (STP) and Advanced Computer Architecture (ACA)
1984-1985 Los Alamos National Laboratory, Division C-10
1982-1983 ETA Systems (now defunct MN supercomputer company), Software Division

Member, 2000 Defense Science Board task force on Defensive Information Operations
Member, 2001 Defense Science Board task force on Science and Technology
Member, DARPA ISAT
Member, DNRC.

Patrick Lincoln (Lincoln "at" csl.sri.com)

Recent Papers

Systems Biology Supported by DARPA and NIH Formal Methods Supported by NASA, DARPA, NSF, and NSA Computer Security Supported by DARPA, ONR, and NSA Rewriting Program Supported by DARPA, NSF, and NSA

Formal Methods Supported by NASA, DARPA, NSF, and NSA Computer Security Supported by DARPA, ONR, and NSA Rewriting Program Supported by DARPA, NSF, and NSA

Computer Security Supported by DARPA, ONR, and NSA Rewriting Program Supported by DARPA, NSF, and NSA

Rewriting Program Supported by DARPA, NSF, and NSA

Systems Biology Supported by DARPA and NIH
Formal Methods Supported by NASA, DARPA, NSF, and NSA
Computer Security Supported by DARPA, ONR, and NSA
Rewriting Program Supported by DARPA, NSF, and NSA

Formal Methods Supported by NASA, DARPA, NSF, and NSA
Computer Security Supported by DARPA, ONR, and NSA
Rewriting Program Supported by DARPA, NSF, and NSA

Computer Security Supported by DARPA, ONR, and NSA
Rewriting Program Supported by DARPA, NSF, and NSA