Patrick Lincoln is an American computer scientist and logician serving as director of the Computer Science Laboratory at SRI International. His work spans computational logic, linear logic, and formal methods, contributing to discussions about the computational boundaries of logical reasoning.
Directed the Computer Science Laboratory at SRI International
Contributed to foundational research in linear logic and its computational properties
Advanced formal methods for verification and reasoning systems
Explored computational complexity constraints on logical knowledge