About: Matthew Hennessy

An Entity of Type: person, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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

Property	Value
dbo:abstract	Matthew Hennessy is an Irish computer scientist who has contributed especially to concurrency, process calculi and programming language semantics. (en)
dbo:wikiPageExternalLink	https://www.cs.tcd.ie/Matthew.Hennessy/
dbo:wikiPageID	3818648 (xsd:integer)
dbo:wikiPageLength	3863 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1016356774 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Cambridge_University_Press dbr:Canada dbr:Robin_Milner dbr:Royal_Society dbr:Scotland dbr:Brazil dbr:Denmark dbc:Irish_computer_scientists dbr:University_of_Edinburgh dbr:University_of_Sussex dbr:University_of_Waterloo dbr:Leverhulme_Trust dbc:Living_people dbc:Year_of_birth_missing_(living_people) dbr:Computer_Science dbr:Ó_hAonghusa dbr:England dbr:Gordon_Plotkin dbr:Mobile_computing dbr:Concurrency_(computer_science) dbr:Process_calculi dbr:Computer_scientist dbr:Hennessy–Milner_logic dbr:Specification_language dbc:Academics_of_the_University_of_Edinburgh dbc:Fellows_of_Trinity_College_Dublin dbc:University_of_Waterloo_faculty dbc:20th-century_Irish_people dbc:21st-century_Irish_people dbr:Trinity_College,_Dublin dbr:Distributed_computing dbr:Irish_people dbc:Academics_of_the_University_of_Sussex dbc:Formal_methods_people dbc:Computer_science_writers dbr:Science_Foundation_Ireland dbr:Programming_language dbr:Universidade_Federal_de_Pernambuco dbr:Verification_and_Validation_(software) dbr:John_Wiley_and_Sons dbr:The_MIT_Press dbr:Academy_of_Europe dbr:University_of_Aarhus dbr:Programming_language_semantics
dbp:wikiPageUsesTemplate	dbt:Compu-bio-stub dbt:Authority_control dbt:ISBN dbt:Reflist dbt:Short_description dbt:Use_Irish_English dbt:Use_dmy_dates dbt:Ireland-scientist-stub dbt:GoogleScholar
dcterms:subject	dbc:Irish_computer_scientists dbc:Living_people dbc:Year_of_birth_missing_(living_people) dbc:Academics_of_the_University_of_Edinburgh dbc:Fellows_of_Trinity_College_Dublin dbc:University_of_Waterloo_faculty dbc:20th-century_Irish_people dbc:21st-century_Irish_people dbc:Academics_of_the_University_of_Sussex dbc:Formal_methods_people dbc:Computer_science_writers
gold:hypernym	dbr:Scientist
schema:sameAs	http://viaf.org/viaf/32326006
rdf:type	owl:Thing dbo:Person yago:WikicatComputerScienceWriters yago:WikicatLivingPeople yago:Academician109759069 yago:Adult109605289 yago:Associate109816771 yago:CausalAgent100007347 yago:Colleague109935990 yago:Communicator109610660 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Educator110045713 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Peer109626238 yago:Person100007846 yago:PhysicalEntity100001930 yago:Professional110480253 yago:WikicatIrishComputerScientists yago:Writer110794014 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scientist110560637 yago:Whole100003553 yago:WikicatAcademicsOfTheUniversityOfSussex yago:WikicatFellowsOfTrinityCollege,Dublin yago:WikicatFormalMethodsPeople
rdfs:comment	Matthew Hennessy is an Irish computer scientist who has contributed especially to concurrency, process calculi and programming language semantics. (en)
rdfs:label	Matthew Hennessy (en)
owl:sameAs	freebase:Matthew Hennessy http://www4.wiwiss.fu-berlin.de/dblp/resource/person/154635 http://viaf.org/viaf/32326006 yago-res:Matthew Hennessy https://dblp.org/pid/h/MatthewHennessy wikidata:Matthew Hennessy http://data.bibliotheken.nl/id/thes/p073754331 https://global.dbpedia.org/id/4rUbA
prov:wasDerivedFrom	wikipedia-en:Matthew_Hennessy?oldid=1016356774&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Matthew_Hennessy
is dbo:wikiPageRedirects of	dbr:Hennessy,_Matthew
is dbo:wikiPageWikiLink of	dbr:School_of_Informatics,_University_of_Edinburgh dbr:List_of_family_relations_in_American_football dbr:List_of_University_of_Edinburgh_people dbr:Operational_semantics dbr:Hennessy_(surname) dbr:Hennessy–Milner_logic dbr:Temporal_Process_Language dbr:Hennessy,_Matthew dbr:Bunched_logic dbr:Software_testing dbr:Process_calculus dbr:Software_testability
is foaf:primaryTopic of	wikipedia-en:Matthew_Hennessy