World's Best Scientists 2026 revealed!
Matthew Hennessy

Matthew Hennessy

Award Badge
Computer Science
Ireland
2026

D-Index & Metrics

Computer Science

D-Index
55
Citations
19051
World Ranking
4200
National Ranking
10

Research.com Recognitions

  • 2026 - Research.com Computer Science in Ireland Leader Award
  • 2025 - Research.com Computer Science in Ireland Leader Award
  • 2022 - Research.com Computer Science in Ireland Leader Award

Overview

Matthew Hennessy is affiliated with Trinity College Dublin in Ireland. Their research profile reflects a focus on academic and scientific contributions within this institution.

While specific publications, co-authors, or detailed research topics are not listed, their academic career is positioned within a reputable university environment suggesting involvement in scholarly activities and likely contributions to their field.

No detailed data on fields of study, subfields, or main topics of research are available to further specify their areas of expertise or research focus.

The absence of listed recent papers, frequent co-authors, or recurring publication venues limits the ability to analyze the scope and impact of their scholarly output at this time.

There are no recorded awards or recognitions associated with their record.

Overall, Matthew Hennessy's career is presently documented primarily through institutional affiliation rather than a catalogue of publications or honors. This provides a foundational context for their academic identity.

Best Publications

  • On Observing Nondeterminism and Concurrency

    Matthew Hennessy;Robin Milner

  • Algebraic laws for nondeterminism and concurrency

    Matthew Hennessy;Robin Milner

  • Testing equivalences for processes

    R. De Nicola;M.C.B. Hennessy

  • Algebraic theory of processes

    Matthew Hennessy

  • Resource Access Control in Systems of Mobile Agents

    Matthew Hennessy;James Riely

  • Symbolic bisimulations

    M. Hennessy;H. Lin

  • Full abstraction for a simple parallel programming language

    Matthew Hennessy;Gordon D. Plotkin

  • A Process Algebra for Timed Systems

    M. Hennessy;T. Regan

  • The Semantics of Programming Languages: An Elementary Introduction Using Structural Operational Semantics

    Matthew Hennessy

  • Testing Equivalence for Processes

    Rocco De Nicola;Matthew Hennessy

  • A Distributed Pi-Calculus

    Matthew Hennessy

  • Testing equivalence as a bisimulation equivalence

    Rance Cleaveland;Matthew Hennessy

  • Information flow vs. resource access in the asynchronous pi-calculus

    Matthew Hennessy;James Riely

  • Acceptance trees

    M. Hennessy

  • A Typed Language for Distributed Mobile Processes

    Matthew Hennessy

  • Towards action-refinement in process algebras

    L. Aceto;M. Hennessy

  • An efficiency preorder for processes

    S. Arun-Kumar;M. Hennessy

  • Priorities in process algebras

    R. Cleaveland;M. Hennessy

  • Typed behavioural equivalences for processes in the presence of subtyping

    Matthew Hennessy;Julian Rathke

  • Bisimulation congruences in safe ambients

    Massimo Merro;Matthew Hennessy

Frequent Co-Authors

Rob van Glabbeek
Rob van Glabbeek Stanford University
Carroll Morgan
Carroll Morgan University of New South Wales
Nobuko Yoshida
Nobuko Yoshida University of Oxford
Vladimiro Sassone
Vladimiro Sassone University of Southampton
Rance Cleaveland
Rance Cleaveland University of Maryland, College Park
Gordon Plotkin
Gordon Plotkin University of Edinburgh
Robin Milner
Robin Milner University of Cambridge
Rocco De Nicola
Rocco De Nicola IMT Institute for Advanced Studies Lucca
Mogens Nielsen
Mogens Nielsen Aarhus University
Glynn Winskel
Glynn Winskel University of Cambridge

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring computer science in the USA opens the door to a range of flexible and affordable online degree options. If you’re interested in data analytics, you might want to check out what is the cheapest data science course in the us? to find programs that fit your budget and goals.

Many universities also offer quality, accredited online electrical engineering programs—ideal for those aiming to branch out into related technical fields.

For quicker career advancement, consider picking up certifications that pay well. These can be completed in a short time frame and lead to lucrative job opportunities, especially in tech and IT.

If you are eager to fast-track your education, research the shortest masters degree programs online. These can let you earn an advanced degree without sacrificing years of professional experience or income.

Best Scientists Citing Matthew Hennessy

Trending Scientists