Lawrence C. Paulson

verfied profile

0 followers
University of Cambridge

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

Featured Co-authors