Lawrence C. Paulson

∙

0 followers

Distinguished Affiliated Professor for Logic in Informatics at TU München, Professor of Computational Logic at University of Cambridge, Reader in Computational Logic at University of Cambridge from 1998-2002, University Lecturer at University of Cambridge from 1993-1998, Assistant Director of Research, University of Cambridge at University of Cambridge from 1983-1993, Research assistant at University of Edinburgh from 1982-1983