Paulson, Lawrence C.


ACM ernennt Lawrence C. Paulson – Distinguished Affiliated Professor der Fakultät für Informatik – zum ACM Fellow für seinen Beitrag über Theorembeweiser und Verifikation. Die Association for Computing Machinery (ACM) ist die weltweit größte wissenschaftliche informatische Gesellschaft.

Lawrence C. Paulson forscht an der University of Cambridge und wurde 2006 Distinguished Affiliated Professor der Fakultät für Informatik. Die TU München führte diesen Ehrentitel für Professoren einer ausländischen Universität ein, die sich in ihrem Fachgebiet internationales Renommee erworben haben, zu den Spitzenforschern ihres Fachs zählen und seit einigen Jahren mit der TUM enge Beziehungen in Lehre und Forschung unterhalten.

PI
http://www.acm.org/press-room/news-releases/fellows-2008

Paulson
http://www.cl.cam.ac.uk/~lp15/