Michael Hinchey

Michael G. Hinchey
Born

1969 (age 4647)


Limerick, Republic of Ireland

Residence Limerick, Republic of Ireland
Citizenship Republic of Ireland, USA
Nationality Irish
Fields Computer science
Institutions University of Nebraska, Queen's University Belfast, New Jersey Institute of Technology, University of Skövde, Loyola College in Maryland, University of Queensland, Virginia Tech, NASA Goddard Space Flight Center University of Limerick
Alma mater University of Limerick, Wolfson College, Oxford, St John's College, Cambridge
Known for Formal methods, Vice-President of IFIP

Michael Gerard Hinchey (born 1969)[1] is an Irish computer scientist and Director at the Irish Software Engineering Research Centre (Lero), a multi-university research centre headquartered at the University of Limerick, Ireland.[2][3]

Mike Hinchey studied at the University of Limerick as an undergraduate (was the leading student in his graduating year[2]), Oxford University (at Wolfson College) for his MSc and Cambridge University (at St John's College) for his PhD.[4]

Hinchey has been a promulgator of formal methods throughout his career, especially CSP and the Z notation. He was Director of the NASA Software Engineering Laboratory at NASA Goddard Space Flight Center[5] and is the founding editor-in-chief of the NASA journal Innovations in Systems and Software Engineering, launched in 2005.

He has held many academic positions, both visiting and permanent, at a number of universities including the University of Nebraska, Queen's University Belfast, New Jersey Institute of Technology,[6] Hiroshima University the University of Skövde in Sweden[2] and was at Loyola College in Maryland (now Loyola University Maryland), United States, before his current post.

Hinchey is a Member of Academia Europaea, a Fellow of the IET, a Fellow of the IMA, and a Senior Member of the IEEE. He is a Chartered Engineer, Chartered Professional Engineer, Chartered Mathematician and Chartered IT Professional.

As of 2015, Hinchey has been serving as Vice President of IFIP (International Federation for Information Processing)[7] and Chair of its Technical Assembly.

Selected publications

References

  1. "Hinchey, Michael G. (Michael Gerard) 1969–". WorldCat. Retrieved 12 December 2012.
  2. 1 2 3 Lero appoint NASA expert Prof Mike Hinchey as co-director, Wayback Machine.
  3. Directors, Lero, Ireland.
  4. Hinchey, Michael G., countrybookshop.
  5. "Mike Hinchey". Third NASA-Goddard/IEEE Workshop on Formal Approaches to Agent-Based Systems "FAABS III". Archive.org. 2011. Retrieved 30 August 2016.
  6. 'NJIT-CIS: Graduate Project Information', New Jersey Institute of Technology, USA.
  7. "IFIP Board". IFIP. Retrieved 2 April 2015.
This article is issued from Wikipedia - version of the 10/18/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.