Matthew Hennessy

http://dbpedia.org/resource/Matthew_Hennessy an entity of type: Thing

Matthew Hennessy is an Irish computer scientist who has contributed especially to concurrency, process calculi and programming language semantics. rdf:langString
rdf:langString Matthew Hennessy
xsd:integer 3818648
xsd:integer 1016356774
rdf:langString Matthew Hennessy is an Irish computer scientist who has contributed especially to concurrency, process calculi and programming language semantics.
xsd:nonNegativeInteger 3863
owl:Thing
dbpedia-owl: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
<http://dbpedia.org/resource/Category:Irish_computer_scientists>
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Category:Year_of_birth_missing_(living_people)>
<http://dbpedia.org/resource/Category:Academics_of_the_University_of_Edinburgh>
<http://dbpedia.org/resource/Category:Fellows_of_Trinity_College_Dublin>
<http://dbpedia.org/resource/Category:University_of_Waterloo_faculty>
<http://dbpedia.org/resource/Category:20th-century_Irish_people>
<http://dbpedia.org/resource/Category:21st-century_Irish_people>
<http://dbpedia.org/resource/Category:Academics_of_the_University_of_Sussex>
<http://dbpedia.org/resource/Category:Formal_methods_people>
<http://dbpedia.org/resource/Category:Computer_science_writers>
<http://dbpedia.org/resource/Cambridge_University_Press>
<http://dbpedia.org/resource/Canada>
<http://dbpedia.org/resource/Robin_Milner>
<http://dbpedia.org/resource/Royal_Society>
<http://dbpedia.org/resource/Scotland>
<http://dbpedia.org/resource/Brazil>
<http://dbpedia.org/resource/Denmark>
<http://dbpedia.org/resource/Category:Irish_computer_scientists>
<http://dbpedia.org/resource/University_of_Edinburgh>
<http://dbpedia.org/resource/University_of_Sussex>
<http://dbpedia.org/resource/University_of_Waterloo>
<http://dbpedia.org/resource/Leverhulme_Trust>
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Category:Year_of_birth_missing_(living_people)>
<http://dbpedia.org/resource/Computer_Science>
<http://dbpedia.org/resource/Ó_hAonghusa>
<http://dbpedia.org/resource/England>
<http://dbpedia.org/resource/Gordon_Plotkin>
<http://dbpedia.org/resource/Mobile_computing>
<http://dbpedia.org/resource/Concurrency_(computer_science)>
<http://dbpedia.org/resource/Process_calculi>
<http://dbpedia.org/resource/Computer_scientist>
<http://dbpedia.org/resource/Hennessy–Milner_logic>
<http://dbpedia.org/resource/Specification_language>
<http://dbpedia.org/resource/Category:Academics_of_the_University_of_Edinburgh>
<http://dbpedia.org/resource/Category:Fellows_of_Trinity_College_Dublin>
<http://dbpedia.org/resource/Category:University_of_Waterloo_faculty>
<http://dbpedia.org/resource/Category:20th-century_Irish_people>
<http://dbpedia.org/resource/Category:21st-century_Irish_people>
<http://dbpedia.org/resource/Trinity_College,_Dublin>
<http://dbpedia.org/resource/Distributed_computing>
<http://dbpedia.org/resource/Irish_people>
<http://dbpedia.org/resource/Category:Academics_of_the_University_of_Sussex>
<http://dbpedia.org/resource/Category:Formal_methods_people>
<http://dbpedia.org/resource/Category:Computer_science_writers>
<http://dbpedia.org/resource/Science_Foundation_Ireland>
<http://dbpedia.org/resource/Programming_language>
<http://dbpedia.org/resource/Universidade_Federal_de_Pernambuco>
<http://dbpedia.org/resource/Verification_and_Validation_(software)>
<http://dbpedia.org/resource/John_Wiley_and_Sons>
<http://dbpedia.org/resource/The_MIT_Press>
<http://dbpedia.org/resource/Academy_of_Europe>
<http://dbpedia.org/resource/University_of_Aarhus>
<http://dbpedia.org/resource/Programming_language_semantics>
<https://www.cs.tcd.ie/Matthew.Hennessy/>
<http://rdf.freebase.com/ns/m.0b1l0w>
<http://www4.wiwiss.fu-berlin.de/dblp/resource/person/154635>
<http://viaf.org/viaf/32326006>
<http://yago-knowledge.org/resource/Matthew_Hennessy>
<https://dblp.org/pid/h/MatthewHennessy>
<http://www.wikidata.org/entity/Q6790660>
<http://data.bibliotheken.nl/id/thes/p073754331>
<https://global.dbpedia.org/id/4rUbA>
<http://dbpedia.org/resource/Template:Compu-bio-stub>
<http://dbpedia.org/resource/Template:Authority_control>
<http://dbpedia.org/resource/Template:ISBN>
<http://dbpedia.org/resource/Template:Reflist>
<http://dbpedia.org/resource/Template:Short_description>
<http://dbpedia.org/resource/Template:Use_Irish_English>
<http://dbpedia.org/resource/Template:Use_dmy_dates>
<http://dbpedia.org/resource/Template:Ireland-scientist-stub>
<http://dbpedia.org/resource/Template:GoogleScholar>
<http://dbpedia.org/resource/Scientist>
<http://viaf.org/viaf/32326006>
<http://en.wikipedia.org/wiki/Matthew_Hennessy?oldid=1016356774&ns=0>
<http://en.wikipedia.org/wiki/Matthew_Hennessy>

data from the linked data cloud