Patrick Lincoln, Director of SRI's Computer Science Laboratory.
|
Recent PapersNano Electronics
Supported by DARPA
Formal MethodsSupported by NASA, DARPA, NSF, and NSAComputer SecuritySupported by DARPA, ONR, and NSARewriting ProgramSupported by DARPA, NSF, and NSA |
Academics:
Patrick Lincoln (Lincoln "at" csl.sri.com)