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

Related Research Articles

A CAPTCHA is a type of challenge–response test used in computing to determine whether the user is human in order to deter bot attacks and spam.

In mathematics, computer science, and logic, rewriting covers a wide range of methods of replacing subterms of a formula with other terms. Such methods may be achieved by rewriting systems. In their most basic form, they consist of a set of objects, plus relations on how to transform those objects.

<span class="mw-page-title-main">SRI International</span> American scientific research institute (founded 1946)

SRI International (SRI) is an American nonprofit scientific research institute and organization headquartered in Menlo Park, California. The trustees of Stanford University established SRI in 1946 as a center of innovation to support economic development in the region.

Linear logic is a substructural logic proposed by Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of the former with many of the constructive properties of the latter. Although the logic has also been studied for its own sake, more broadly, ideas from linear logic have been influential in fields such as programming languages, game semantics, and quantum physics, as well as linguistics, particularly because of its emphasis on resource-boundedness, duality, and interaction.

A cryptographic protocol is an abstract or concrete protocol that performs a security-related function and applies cryptographic methods, often as sequences of cryptographic primitives. A protocol describes how the algorithms should be used and includes details about data structures and representations, at which point it can be used to implement multiple, interoperable versions of a program.

<span class="mw-page-title-main">Nanorobotics</span> Emerging technology field

Nanoid robotics, or for short, nanorobotics or nanobotics, is an emerging technology field creating machines or robots, which are called nanorobots or simply nanobots, whose components are at or near the scale of a nanometer. More specifically, nanorobotics refers to the nanotechnology engineering discipline of designing and building nanorobots with devices ranging in size from 0.1 to 10 micrometres and constructed of nanoscale or molecular components. The terms nanobot, nanoid, nanite, nanomachine and nanomite have also been used to describe such devices currently under research and development.

The Maude system is an implementation of rewriting logic. It is similar in its general approach to Joseph Goguen's OBJ3 implementation of equational logic, but based on rewriting logic rather than order-sorted equational logic, and with a heavy emphasis on powerful metaprogramming based on reflection.

<span class="mw-page-title-main">Encrypted key exchange</span>

Encrypted Key Exchange is a family of password-authenticated key agreement methods described by Steven M. Bellovin and Michael Merritt. Although several of the forms of EKE in this paper were later found to be flawed, the surviving, refined, and enhanced forms of EKE effectively make this the first method to amplify a shared password into a shared key, where the shared key may subsequently be used to provide a zero-knowledge password proof or other functions.

<span class="mw-page-title-main">Joseph Goguen</span> American computer scientist

Joseph Amadee Goguen was an American computer scientist. He was professor of Computer Science at the University of California and University of Oxford, and held research positions at IBM and SRI International.

In cryptography, a password-authenticated key agreement (PAK) method is an interactive method for two or more parties to establish cryptographic keys based on one or more party's knowledge of a password.

<span class="mw-page-title-main">Michael Fourman</span> Logician and computer scientist

Michael Paul Fourman FBCS FRSE is Professor of Computer Systems at the University of Edinburgh in Scotland, UK, and was Head of the School of Informatics from 2001 to 2009.

<span class="mw-page-title-main">Computational mathematics</span> Area of mathematics

Computational mathematics is the study of the interaction between mathematics and calculations done by a computer.

A transistor is a semiconductor device with at least three terminals for connection to an electric circuit. In the common case, the third terminal controls the flow of current between the other two terminals. This can be used for amplification, as in the case of a radio receiver, or for rapid switching, as in the case of digital circuits. The transistor replaced the vacuum-tube triode, also called a (thermionic) valve, which was much larger in size and used significantly more power to operate. The first transistor was successfully demonstrated on December 23, 1947, at Bell Laboratories in Murray Hill, New Jersey. Bell Labs was the research arm of American Telephone and Telegraph (AT&T). The three individuals credited with the invention of the transistor were William Shockley, John Bardeen and Walter Brattain. The introduction of the transistor is often considered one of the most important inventions in history.

<span class="mw-page-title-main">Mihail Roco</span>

Mihail C. Roco is the founding chair of the US National Science and Technology Council subcommittee on Nanoscale Science, Engineering and Technology (NSET), and is Senior Advisor for Science and Engineering, including Nanotechnology, at the National Science Foundation. He is also the editor in chief of the Journal of Nanoparticle Research.

Louis Hodes was an American mathematician, computer scientist, and cancer researcher.

<span class="mw-page-title-main">Robert Shostak</span> American computer scientist

Robert Eliot Shostak is an American computer scientist and Silicon Valley entrepreneur. He is most noted academically for his seminal work in the branch of distributed computing known as Byzantine Fault Tolerance. He is also known for co-authoring the Paradox Database, and most recently, the founding of Vocera Communications, a company that makes wearable, Star Trek-like communication badges.

<span class="mw-page-title-main">Jerome R. Cox Jr.</span> American computer scientist (1925–2023)

Jerome Rockhold Cox Jr. was an American computer pioneer, scientist, and entrepreneur. Cox contributed significantly to the areas of biomedical computing, multimedia communications, and computer networking. Cox was the founding chairman of the Department of Computer Science at Washington University in St. Louis and senior professor emeritus of Computer Science at Washington University (1999-2023), as well as Founder and President of Blendics, Inc., and Q-Net Security Inc.. In 1998, Cox collaborated with colleagues Jonathan S. Turner and Guru Parulkar in founding Growth Networks.

<span class="mw-page-title-main">Grigore Roșu</span> Computer science professor

Grigore Roșu is a computer science professor at the University of Illinois at Urbana-Champaign and a researcher in the Information Trust Institute. He is known for his contributions in runtime verification, the K framework, matching logic, and automated coinduction.

José Meseguer Guaita is a Spanish computer scientist, and professor at the University of Illinois at Urbana–Champaign. He leads the university's Formal Methods and Declarative Languages Laboratory.

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.
  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.