{{Short description|Irish computer scientist}} {{Use dmy dates|date=December 2021}} {{Use Hiberno-English|date=December 2021}} {{Infobox scientist | image = | image_size = 120px | name = Michael G. Hinchey | birth_date = {{Birth year and age|1969}} | birth_place = Limerick, Ireland | citizenship = Ireland, USA | field = Computer science | known_for = Formal methods, Vice-President of IFIP | work_institution = University of Nebraska–Lincoln, 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 }}
'''Michael Gerard Hinchey''' (born 1969)<ref>{{cite web| url=http://www.worldcat.org/identities/lccn-n94-96686 | title=Hinchey, Michael G. (Michael Gerard) 1969– | work=WorldCat | accessdate=12 December 2012 }}</ref> 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.<ref name="lero-appointment">[https://web.archive.org/web/20090611030748/http://www.lero.ie/Aboutlero/News/LeroNews/LeroAppointNewCoDirector.html Lero appoint NASA expert Prof Mike Hinchey as co-director], Wayback Machine.</ref><ref>[http://www.lero.ie/people/directors Directors], Lero, Ireland.</ref> 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<ref name="lero-appointment" />), Oxford University (at Wolfson College) for his MSc and Cambridge University (at St John's College) for his PhD.<ref>[http://www.countrybookstore.co.uk/authorsatoz/authordet.phtml?name=Hinchey,%20Michael%20G. Hinchey, Michael G.], ''countrybookshop''.</ref>
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<ref name="nasa">{{cite web|url=http://fmw.gsfc.nasa.gov/MHinchey_Bio.shtml |title=Mike Hinchey |work=Third NASA-Goddard/IEEE Workshop on Formal Approaches to Agent-Based Systems "FAABS III" |date=2011 |accessdate=30 August 2016 |url-status=bot: unknown |archiveurl=https://web.archive.org/web/20110408002344/http://fmw.gsfc.nasa.gov/MHinchey_Bio.shtml |archivedate=8 April 2011 }}</ref> 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–Lincoln, Queen's University Belfast, New Jersey Institute of Technology,<ref>[http://www.cis.njit.edu/~kirova/GradProj.htm 'NJIT-CIS: Graduate Project Information'] {{webarchive|url=https://web.archive.org/web/20031022133820/http://www.cis.njit.edu/~kirova/GradProj.htm |date=2003-10-22 }}, New Jersey Institute of Technology, USA.</ref> Hiroshima University{{citation needed|date=April 2015}} the University of Skövde in Sweden<ref name="lero-appointment" /> 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.{{citation needed|date=April 2015}} He is a Chartered Engineer, Chartered Professional Engineer, Chartered Mathematician and Chartered IT Professional.{{citation needed|date=April 2015}}
As of 2016, Hinchey has been serving as President of IFIP (International Federation for Information Processing).<ref>{{cite web| url=http://www.ifip.org/index.php?option=com_content&task=view&id=74&Itemid=448 | title=IFIP Board | publisher=IFIP | accessdate=2 April 2015 }}</ref>{{citation needed|date=December 2021}}
==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== {{Reflist}}
==External links== * [http://lero.ie/people/mikehinchey Mike Hinchey web page] * {{DBLP|name=Michael G. Hinchey}} * {{GoogleScholar|id=lAojBUsAAAAJ}} * [http://www.irishtimes.com/newspaper/innovation/2009/1002/1224255636780.html Interview] – ''The Irish Times''
{{Authority control}}
{{DEFAULTSORT:Hinchey, Michael}} Category:1969 births Category:Living people Category:Alumni of the University of Limerick Category:Alumni of Wolfson College, Oxford Category:Alumni of St John's College, Cambridge Category:Irish computer scientists Category:Formal methods people Category:Fellows of the Institution of Engineering and Technology Category:NASA people Category:Loyola University Maryland faculty Category:University of Nebraska–Lincoln faculty Category:Academics of the University of Limerick Category:Irish book editors Category:Irish non-fiction writers Category:Irish male non-fiction writers Category:Senior members of the IEEE Category:Computer science writers Category:Academic journal editors Category:Academic staff of the University of Skövde