Prof. Lawrence C. Paulson
Distinguished Affiliated Professor for Logic in Informatics

Lawrence C. Paulson Dr. Paulson is Professor of Computational Logic at the University of Cambridge and, since 2006, Distinguished Affiliated Professor of the Department of Informatics at TUM. He is only the second recipient of this honorary title at TUM. His appointment documents his long term and close collaboration with the Informatics department at TUM and specifically its Theorem Proving Group. The most visible outcome of this joint work is the theorem prover Isabelle.


Certificate of appointment

Lawrence C. Paulson @ Cambridge University