Lawrence C Paulson

Homepage

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 automation; MetiTarski, 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

Publication date: 31 Dec 2000
Document Type: Lecture Notes

Book Categories

Computer Science

Introduction to Computer Science Introduction to Computer Programming Algorithms and Data Structures Artificial Intelligence Computer Vision Machine Learning Neural Networks Game Development and Multimedia Data Communication and Networks Coding Theory Computer Security Information Security Cryptography Information Theory Computer Organization and Architecture Operating Systems Image Processing Parallel Computing Concurrent Programming Relational Database Document-oriented Database Data Mining Big Data Data Science Digital Libraries Compiler Design and Construction Functional Programming Logic Programming Object Oriented Programming Formal Methods Software Engineering Agile Software Development Information Systems Geographic Information System (GIS)

Mathematics

Mathematics Algebra Abstract Algebra Linear Algebra Number Theory Numerical Methods Precalculus Calculus Differential Equations Category Theory Proofs Discrete Mathematics Theory of Computation Graph Theory Real Analysis Complex Analysis Probability Statistics Game Theory Queueing Theory Operations Research Computer Aided Mathematics

Supporting Fields

Web Design and Development Mobile App Design and Development System Administration Cloud Computing Electric Circuits Embedded System Signal Processing Integration and Automation Network Science Project Management

Operating System

Unix GNU/Linux FreeBSD iPhone iOS Android Windows

Programming/Scripting

Ada Assembly C / C++ Common Lisp Forth Java JavaScript Lua Rexx Microsoft .NET Perl PHP R Python Rebol Ruby Scheme Tcl/Tk

Miscellaneous