Matthew Hennessy is an Irish computer scientist who has contributed especially to concurrency, process calculi and programming language semantics.