Patrick Lincoln
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Born | United States |
| Citations | 12,260 |
| Known for | Computer security |
| Formal verification | |
| Computational biology | |
| Nanotechnology | |
| Academic advisor | John C. Mitchell |
| Books | All about Maude-- a High-performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic |
| Computational Aspects of Linear Logic | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1407778 |
Patrick Lincoln Life story
Patrick Denis Lincoln is an American computer scientist leading the Computer Science Laboratory 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.