Lawrence C Paulson

Lawrence C Paulson

Lawrence C. Paulson is Professor of Computational Logic in Computer Laboratory at the University of Cambridge. His research concerns automated theorem proving and its applications: development of Isabelle, with emphasis on automationMetiTarski, an automatic prover for the elementary functions; formalising mathematics, including Gödel's incompeteness theorems and constructible universe; and proving the correctness of security protocols;

Back to all authors

Books Authored by Lawrence C Paulson

Foundations of Computer Science

Post date: 16 Oct 2006
Introduces the principles of data structures and algorithms. Emphasises the algorithmic side of programming, focusing on problem-solving rather than on hardware-level bits and bytes.
Publication date: 31 Dec 2000
Document Type: Lecture Notes
 
Foundations of Computer Science

Foundations of Computer Science

Post date: 16 Oct 2006
Introduces the principles of data structures and algorithms. Emphasises the algorithmic side of programming, focusing on problem-solving rather than on hardware-level bits and bytes.
Publication date: 31 Dec 2000
Document Type: Lecture Notes


Book Categories
Sponsors
Icons8, a free icon pack