Michael Hinchey

Michael G. Hinchey is an Irish computer scientist and Director at the Irish Software Engineering Research Centre (Lero), University of Limerick, Ireland.^[1][2]

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

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 both visiting and permanent, in a number of universities including the University of Nebraska, Queen's University Belfast, New Jersey Institute of Technology (Assistant Professor^[4]) and the Skövde University College in Sweden^[1] 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.

Selected publications

• Hinchey, M.G. and Bowen, J.P., editors, Applications of Formal Methods. Prentice Hall International Series in Computer Science, 1995. ISBN 0-13-366949-1.
• Dean, C.N. and Hinchey, M.G., editors, Teaching and Learning Formal Methods, Academic Press, London, 1996. ISBN 0-12-349040-5.
• Bowen, J.P. and Hinchey, M.G., editors, High-Integrity System Specification and Design. Springer-Verlag, London, FACIT series, 1999. ISBN 3-540-76226-4.
• Hinchey, M.G. and Bowen, J.P., editors, Industrial-Strength Formal Methods in Practice. Springer-Verlag, London, FACIT series, 1999. ISBN 1-85233-640-4.

References

1. ^ ^{a b c} Lero appoint NASA expert Prof Mike Hinchey as co-director, Wayback Machine.
2. ^ Directors, Lero, Ireland.
3. ^ Hinchey, Michael G., countrybookshop.
4. ^ 'NJIT-CIS: Graduate Project Information', New Jersey Institute of Technology, USA.

External links

• Mike Hinchey biography
• Michael G. Hinchey bibliography in the DBLP database
• interview with Irish Times

Persondata
Name	Hinchey, Michael
Alternative names
Short description
Date of birth
Place of birth
Date of death
Place of death