Michael Hinchey
Template:Short description Template:Use dmy dates Template:Use Hiberno-English Script error: No such module "Template wrapper".Script error: No such module "Check for clobbered parameters".
Michael Gerard Hinchey (born 1969)[1] is an Irish computer scientist and former Director of the Irish Software Engineering Research Centre (Lero), a multi-university research centre headquartered at the University of Limerick, Ireland.[2][3] He now serves as Head of Department of the Department of Computer Science & Information Systems at University of Limerick.
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 UniversityScript error: No such module "Unsubst". 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.Script error: No such module "Unsubst". He is a Chartered Engineer, Chartered Professional Engineer, Chartered Mathematician and Chartered IT Professional.Script error: No such module "Unsubst".
As of 2016, Hinchey has been serving as President of IFIP (International Federation for Information Processing).[7]Script error: No such module "Unsubst".
Selected publications
- Hinchey, M.G. and Bowen, J.P., editors, Applications of Formal Methods. Prentice Hall International Series in Computer Science, 1995. Template:ISBN.
- Dean, C.N. and Hinchey, M.G., editors, Teaching and Learning Formal Methods, Academic Press, London, 1996. Template:ISBN.
- Bowen, J.P. and Hinchey, M.G., editors, High-Integrity System Specification and Design. Springer-Verlag, London, FACIT series, 1999. Template:ISBN.
- Hinchey, M.G. and Bowen, J.P., editors, Industrial-Strength Formal Methods in Practice. Springer-Verlag, London, FACIT series, 1999. Template:ISBN.
References
<templatestyles src="Reflist/styles.css" />
- ↑ Script error: No such module "citation/CS1".
- ↑ a b c Lero appoint NASA expert Prof Mike Hinchey as co-director, Wayback Machine.
- ↑ Directors, Lero, Ireland.
- ↑ Hinchey, Michael G., countrybookshop.
- ↑ Script error: No such module "citation/CS1".
- ↑ 'NJIT-CIS: Graduate Project Information' Template:Webarchive, New Jersey Institute of Technology, USA.
- ↑ Script error: No such module "citation/CS1".
Script error: No such module "Check for unknown parameters".
External links
- Mike Hinchey web page
- Template:First word Michael G. Hinchey at DBLP Bibliography ServerTemplate:EditAtWikidata
- Template:GoogleScholar
- Interview – The Irish Times
- Pages with script errors
- 1969 births
- Living people
- Alumni of the University of Limerick
- Alumni of Wolfson College, Oxford
- Alumni of St John's College, Cambridge
- Irish computer scientists
- Formal methods people
- Fellows of the Institution of Engineering and Technology
- NASA people
- Loyola University Maryland faculty
- Academics of the University of Limerick
- Irish book editors
- Irish non-fiction writers
- Irish male non-fiction writers
- Senior members of the IEEE
- Computer science writers
- Academic journal editors
- Academic staff of the University of Skövde