Michael Hinchey

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.

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.

[citation needed] As of 2016, Hinchey has been serving as President of IFIP (International Federation for Information Processing).