Michael Gerard Hinchey (born 1969) is an Irish computer scientist and former Director of the

Irish Software Engineering Research Centre Lero, ''the Science Foundation Ireland Research Centre for Software'', Ireland, is a world-leading Science Foundation Ireland (SFI) research centre. It was established in 2005 as an SFI Centre for Science Engineering and Technology (CSET), being ...

( Lero), a multi-university research centre headquartered at the University of Limerick, Ireland.Lero appoint NASA expert Prof Mike Hinchey as co-director
Wayback Machine. 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), Oxford University (at Wolfson College) for his MSc and Cambridge University (at St John's College) for his PhD. Hinchey has been a promulgator of formal methods throughout his career, especially

CSP CSP may refer to: Education * College Student Personnel, an academic discipline * Commonwealth Supported Place, a category in Australian education * Concordia University (Saint Paul, Minnesota), US Organizations * Caledonian Steam Packet Compa ...

and the Z notation. He was Director of the NASA Software Engineering Laboratory at

NASA Goddard Space Flight Center The Goddard Space Flight Center (GSFC) is a major NASA space research laboratory located approximately northeast of Washington, D.C. in Greenbelt, Maryland, United States. Established on May 1, 1959 as NASA's first space flight center, GSFC empl ...

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 , mottoeng = For so much, what shall we give back? , top_free_label = , top_free = , top_free_label1 = , top_free1 = , top_free_label2 = , top_free2 = , established = , closed = , type = Public research university , parent = ...

, New Jersey Institute of Technology, Hiroshima University the University of Skövde in Sweden 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 2016, Hinchey has been serving as President of IFIP ( International Federation for Information Processing).

Selected publications

* Hinchey, M.G. and Bowen, J.P., editors, ''Applications of Formal Methods''.

Prentice Hall Prentice Hall was an American major educational publisher owned by Savvas Learning Company. Prentice Hall publishes print and digital content for the 6–12 and higher-education market, and distributes its technical titles through the Safari B ...

International Series in Computer Science, 1995. . * Dean, C.N. and Hinchey, M.G., editors, ''Teaching and Learning Formal Methods'', Academic Press, London, 1996. . * Bowen, J.P. and Hinchey, M.G., editors, ''High-Integrity System Specification and Design''. Springer-Verlag, London, FACIT series, 1999. . * Hinchey, M.G. and Bowen, J.P., editors, ''Industrial-Strength Formal Methods in Practice''. Springer-Verlag, London, FACIT series, 1999. .

References

External links

Mike Hinchey web page
* *

– '' The Irish Times'' {{DEFAULTSORT:Hinchey, Michael 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