Michael G. Hinchey is an Irish computer scientist and Co-Director at the Irish Software Engineering Research Centre Lero, University of Limerick, Ireland. Mike Hinchey studied at the University of Limerick as an undergraduate, Oxford University for his MSc and Cambridge University for his PhD. Hinchey has been a promulgator of formal methods throughout his career, especially CSP and the Z notation.

PropertyValue
dbpprop:abstract
  • Michael G. Hinchey is an Irish computer scientist and Co-Director at the Irish Software Engineering Research Centre Lero, University of Limerick, Ireland. Mike Hinchey studied at the University of Limerick as an undergraduate, Oxford University for his MSc and Cambridge University for his PhD. Hinchey has been a promulgator of formal methods throughout his career, especially CSP and the Z notation. He was Director of the Software Engineering Laboratory at NASA Goddard Space Flight Center and is the founding editor-in-chief of the NASA journal Innovations in Systems and Software Engineering, launched in 2005. He has held numerous visiting professorships and was at Loyola College in Maryland, USA, before his current post. He is a Fellow of the IET, a Fellow of the IMA, and a Senior Member of the IEEE.
dbpprop:hasPhotoCollection
dbpprop:id
  • h/Hinchey:Michael_G=
dbpprop:name
  • Michael G. Hinchey
dbpprop:reference
dbpprop:wikiPageUsesTemplate
rdf:type
rdfs:comment
  • Michael G. Hinchey is an Irish computer scientist and Co-Director at the Irish Software Engineering Research Centre Lero, University of Limerick, Ireland. Mike Hinchey studied at the University of Limerick as an undergraduate, Oxford University for his MSc and Cambridge University for his PhD. Hinchey has been a promulgator of formal methods throughout his career, especially CSP and the Z notation.
rdfs:label
  • Michael Hinchey
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of
is owl:sameAs of