Patrick Lincoln

Last updated
Patrick Lincoln
Born1964
Alma mater Massachusetts Institute of Technology
Stanford University
Known for Computer Security, Formal verification, Computational Biology, Nanotechnology
Awards SRI International Fellow 2005
Scientific career
Fields Computer Science
Institutions SRI International
Doctoral advisor John Mitchell

Patrick Denis Lincoln (born 1964) is an American computer scientist leading the Computer Science Laboratory (CSL) at SRI International. Educated at MIT and then Stanford, he joined SRI in 1989 and became director of the CSL around 1998. He previously held positions with ETA Systems, Los Alamos National Laboratory, and MCC.

Contents

Education and early career

Lincoln received a bachelor of science in electrical engineering and computer science from the Massachusetts Institute of Technology in 1986, with the thesis "DisCoRd distributed combinator reduction, automatic parallelizing compiler" under thesis advisor Rishiyur Nikhil. [1] While pursuing that degree, he held a position in ETA Systems' Software Division from 1982 to 1983; one at Los Alamos National Laboratory, Division C-10 from 1984 to 1985. After graduation, he held a position with MCC from 1986 to 1988 in their Software Technology and Advanced Computer Architecture departments. [1]

Lincoln then attended Stanford University, from 1988 to 1992, earning a Ph.D. in computer science under advisor John Mitchell. Lincoln's doctoral dissertation was "Computational aspects of linear logic". [1] [2] [3]

Later career

In 1989, Lincoln joined SRI International's Computer Science Laboratory (CSL). He is the director of SRI's Computer Science Laboratory since 1998 and became Vice-President of Information and Computing Sciences in 2018. [4] He is also the executive director of SRI's program for the Department of Homeland Security's Cyber Security Research and Development Center and co-director of the SRI Center for Computational Biology. [5] He also leads numerous multidisciplinary research groups. [6] [7]

In 2013, he was featured in the BBC Horizon episode "Defeating the Hackers" [8] and NOVA episode "Rise of the Hackers" [9] describing his work on secure computing and cortical cryptography. This is focusing on how to store a password in someone's mind that they cannot directly recall; for example, by teaching them to play a song and measuring their reaction times. [10] [11] Those methods are theoretically resistant to rubber-hose cryptanalysis, where a user is coerced to give up a password or other key; if you don't know a password, you can't tell it to someone. [12]

Advisory boards and awards

He has served on the Defense Science Board task force on Science and Technology and of the Defense Science Board task force on Defensive Information Operations. He is serving on several advisory boards, including startups such as Neurome, [13] Relational.AI, [14] Blackhorse.

In 2005, Lincoln was named an SRI Fellow. [15] In 2013, he and collaborators received the Best Paper Award at The 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC). [16]

Selected publications

Patrick Lincoln holds over 240 scientific publications. He is amongst the computer scientists whose publications' h-index is above 50 [17]

Patents

Dr. Lincoln holds more than 40 patents in varied fields, including computer security, high-assurance systems, advanced user interfaces, computer networking, robotics, biotechnology, and nanotechnology. A selected subset is listed below.

Computer and Information Security
High-Assurance Systems
Advanced Collaborative Multimodal User Interfaces
Computer Networking
Robotics
Biotechnology
Nanotechnology

References

  1. 1 2 3 "Patrick Lincoln". SRI International Computer Science Laboratory. Retrieved 2014-01-12.
  2. "Advising Genealogy of Patrick Lincoln". SRI International Computer Science Laboratory. Retrieved 2013-01-12.
  3. "Patrick Dennis Lincoln". Mathematics Genealogy Project . North Dakota State University . Retrieved 2014-01-12.
  4. "Patrick Lincoln, Director, Computer Science Laboratory | SRI International". www.sri.com. Retrieved 2019-08-04.
  5. "formation of SRI's Center of Excellence in Computational Biology | SRI International". www.sri.com. Retrieved 2019-08-04.
  6. "SRI Computer Science Laboratory". SRI International. 26 February 2024.
  7. "Computer Science Laboratory". www.csl.sri.com. Retrieved 2019-08-04.
  8. "Horizon - Defeating the Hackers". computer-literacy-project.pilots.bbcconnectedstudio.co.uk. Retrieved 2019-08-04.
  9. "Rise of the Hackers". www.pbs.org. Retrieved 2019-08-04.
  10. "Defeating the Hackers". Horizon . BBC. 2013-10-01. Retrieved 2014-01-27.
  11. SRI International (2013-10-01). "Cortical Cryptography on BBC Horizon". Twitter . Retrieved 2014-01-27.
  12. Metz, Rachel (2013-06-06). "A Password So Secret, You Don't Consciously Know It". MIT Technology Review . MIT . Retrieved 2013-02-25.
  13. "neurome inc". neurome inc. Retrieved 2019-08-04.
  14. relationalAI. "relationalAI - AI for the enterprise". relationalai. Retrieved 2019-08-04.
  15. "SRI Fellows". SRI International . Retrieved 2013-01-12.
  16. "PRDC 2013". prdc.dependability.org. Retrieved 2019-08-04.
  17. "Google Scholar". scholar.google.com. Retrieved 2019-08-04.