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

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.



