Matthew Hennessy
Professor of Computer Science
Department of Informatics
University of Sussex
Falmer, Brighton, BN1 9QN, UK
Email: 
Internet: http://www.informatics.sussex.ac.uk/users/matthewh
Phone: (44)1273 678101
Buy my new book: 
My general research area may be described as the semantic foundations of
programming and specification languages. I am particularly interested
in distributed computing, which these days includes mobile
computing.
I am also interested in the
development of verification tools.