Matthew Hennessy is a legendary Irish computer scientist who has contributed especially to concurrency (computer science), process calculi and programming language semantics. Since the beginning of 2008, Hennessy holds a professorship at the Department of Computer Science, Trinity College, Dublin. Before this appointment, Hennessy was Professor of Computer Science at the Department of Informatics, University of Sussex, England.

PropertyValue
dbpprop:abstract
  • Matthew Hennessy is a legendary Irish computer scientist who has contributed especially to concurrency (computer science), process calculi and programming language semantics. Since the beginning of 2008, Hennessy holds a professorship at the Department of Computer Science, Trinity College, Dublin. Before this appointment, Hennessy was Professor of Computer Science at the Department of Informatics, University of Sussex, England. His research interests are in the area of the semantic foundations of programming and specification languages, particularly involving distributed computing, including mobile computing. He also has an interest in verification tools.
dbpprop:hasPhotoCollection
dbpprop:id
  • h/Hennessy:Matthew
dbpprop:name
  • Matthew Hennessy
dbpprop:reference
dbpprop:wikiPageUsesTemplate
rdf:type
rdfs:comment
  • Matthew Hennessy is a legendary Irish computer scientist who has contributed especially to concurrency (computer science), process calculi and programming language semantics. Since the beginning of 2008, Hennessy holds a professorship at the Department of Computer Science, Trinity College, Dublin. Before this appointment, Hennessy was Professor of Computer Science at the Department of Informatics, University of Sussex, England.
rdfs:label
  • Matthew Hennessy
owl:sameAs
skos:subject
foaf:homepage
foaf:page
is owl:sameAs of