Michael Gerard Hinchey (born 1969) 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 University of Limerick (UL) () is a Public university, public research university institution in Limerick, Republic of Ireland, Ireland. Founded in 1972, as the National Institute for Higher Education, Limerick, it became a university in Septemb ...

, Ireland.Lero appoint NASA expert Prof Mike Hinchey as co-director

Wayback Machine The Wayback Machine is a digital archive of the World Wide Web founded by Internet Archive, an American nonprofit organization based in San Francisco, California. Launched for public access in 2001, the service allows users to go "back in ...

. 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 The University of Oxford is a collegiate research university in Oxford, England. There is evidence of teaching as early as 1096, making it the oldest university in the English-speaking world and the second-oldest continuously operating u ...

(at Wolfson College) for his MSc and

Cambridge University The University of Cambridge is a Public university, public collegiate university, collegiate research university in Cambridge, England. Founded in 1209, the University of Cambridge is the List of oldest universities in continuous operation, wo ...

(at St John's College) for his PhD. Hinchey has been a promulgator of

formal methods In computer science, formal methods are mathematics, mathematically rigorous techniques for the formal specification, specification, development, Program analysis, analysis, and formal verification, verification of software and computer hardware, ...

throughout his career, especially CSP and the

Z notation The Z notation is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general. History In 1974, Jean-Raymond Abria ...

. He was Director of the

NASA The National Aeronautics and Space Administration (NASA ) is an independent agencies of the United States government, independent agency of the federal government of the United States, US federal government responsible for the United States ...

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 ...

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 A university () is an educational institution, institution of tertiary education and research which awards academic degrees in several Discipline (academia), academic disciplines. ''University'' is derived from the Latin phrase , which roughly ...

Queen's University Belfast The Queen's University of Belfast, commonly known as Queen's University Belfast (; abbreviated Queen's or QUB), is a public research university in Belfast, Northern Ireland, United Kingdom. The university received its charter in 1845 as part of ...

New Jersey Institute of Technology New Jersey Institute of Technology (NJIT) is a Public university, public research university in Newark, New Jersey, United States, with a graduate-degree-granting satellite campus in Jersey City. Founded in 1881 with the support of local indust ...

Hiroshima University is a Japanese national research university located in Higashihiroshima and Hiroshima, Japan. Established in 1929, it was chartered as a university in 1949 following the merge of a number of national educational institutions. Its abbreviated f ...

the

University of Skövde The University of Skövde (in Swedish: Högskolan i Skövde, HIS) is a state university in Skövde, Sweden. The University of Skövde was granted university status in 1983 and is now an academic institution with general and specialised educational ...

in Sweden and was at

Loyola College in Maryland Loyola University Maryland is a private Jesuit university in Baltimore, Maryland. Established as Loyola College in Maryland by John Early and eight other members of the Society of Jesus in 1852, it is the ninth-oldest Jesuit college in the Un ...

(now

Loyola University Maryland Loyola University Maryland is a Private university, private Society of Jesus, Jesuit university in Baltimore, Maryland. Established as Loyola College in Maryland by John Early (educator), John Early and eight other members of the Society of Je ...

), United States, before his current post. Hinchey is a Member of

Academia Europaea The Academia Europaea is a pan-European Academy of humanities, letters, law, and sciences. The Academia was founded in 1988 as a functioning Europe-wide Academy that encompasses all fields of scholarly inquiry. It acts as co-ordinator of Europe ...

, a Fellow of the

IET __NOTOC__ IET can refer to: Organizations * Institute of Educational Technology, part of the Open University * Institution of Engineering and Technology, a UK-based professional engineering institution ** Institute of Engineers and Technicians, wh ...

, a Fellow of the

IMA IMA or Ima may refer to: Education * Indian Military Academy, Dehradun * Instituto Miguel Ángel, a school in Mexico City Galleries and museums * Indianapolis Museum of Art, Indiana, US * Institut du Monde Arabe, Paris, France * Islamic Mus ...

, and a Senior Member of the

IEEE The Institute of Electrical and Electronics Engineers (IEEE) is an American 501(c)(3) organization, 501(c)(3) public charity professional organization for electrical engineering, electronics engineering, and other related disciplines. 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 The International Federation for Information Processing (IFIP) is a global organisation for researchers and professionals working in the field of computing to conduct research, develop standards and promote information sharing. Established in 19 ...

Selected publications

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

Prentice Hall Prentice Hall was a major American publishing#Textbook_publishing, educational publisher. It published print and digital content for the 6–12 and higher-education market. It was an independent company throughout the bulk of the twentieth cen ...

International Series in Computer Science, 1995. . * Dean, C.N. and Hinchey, M.G., editors, ''Teaching and Learning Formal Methods'',

Academic Press Academic Press (AP) is an academic book publisher founded in 1941. It launched a British division in the 1950s. Academic Press was acquired by Harcourt, Brace & World in 1969. Reed Elsevier said in 2000 it would buy Harcourt, a deal complete ...

, London, 1996. . * Bowen, J.P. and Hinchey, M.G., editors, ''High-Integrity System Specification and Design''.

Springer-Verlag Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in ...

, 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 ''The Irish Times'' is an Irish daily broadsheet newspaper and online digital publication. It was launched on 29 March 1859. The editor is Ruadhán Mac Cormaic. It is published every day except Sundays. ''The Irish Times'' is Ireland's leading n ...

'' {{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