Michael Gerard Hinchey (born 1969) is an

Irish Irish may refer to: Common meanings * Someone or something of, from, or related to: ** Ireland, an island situated off the north-western coast of continental Europe ***Éire, Irish language name for the isle ** Northern Ireland, a constituent unit ...

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 Lero is an obscure Celtic god, invoked alongside the goddess Lerina as the eponymous spirit of Lérins in Provence.''L'Arbre Celtique.'Lérins/ref> Nothing is known about these gods apart from these epigraphic dedications. References Furth ...

), a multi-university research centre headquartered at the

University of Limerick The University of Limerick (UL) ( ga, Ollscoil Luimnigh) 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 beca ...

, 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 the Internet Archive, a nonprofit based in San Francisco, California. Created in 1996 and launched to the public in 2001, it allows the user to go "back in time" and see ...

. 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 Oxford () is a city in England. It is the county town and only city of Oxfordshire. In 2020, its population was estimated at 151,584. It is north-west of London, south-east of Birmingham and north-east of Bristol. The city is home to the ...

(at Wolfson College) for his MSc and

Cambridge University , mottoeng = Literal: From here, light and sacred draughts. Non literal: From this place, we gain enlightenment and precious knowledge. , established = , other_name = The Chancellor, Masters and Schola ...

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

formal methods In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expec ...

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

. He was Director of the

NASA The National Aeronautics and Space Administration (NASA ) is an independent agency of the US federal government responsible for the civil space program, aeronautics research, and space research. NASA was established in 1958, succeeding t ...

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 ''Innovations in Systems and Software Engineering: A NASA Journal'' is a peer-reviewed scientific journal of computer science covering systems and software engineering, including formal methods. It is published by Springer Science+Business Media on ...

'', 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 institution of higher (or tertiary) education and research which awards academic degrees in several academic disciplines. Universities typically offer both undergraduate and postgraduate programs. In the United States, the ...

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 {{Infobox university , name = {{nowrap, New Jersey Institute of Technology , image = New Jersey IT seal.svg , image_upright = 0.9 , former_names = Newark College of Engineering (1930–1975)Ne ...

Hiroshima University is a Japanese national 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. History Under the Nationa ...

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

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

(now

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

), 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 Europea ...

, 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, and a Senior Member of the

IEEE The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New York City and its operation ...

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

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 Academic Press (AP) is an academic book publisher founded in 1941. It was acquired by Harcourt, Brace & World in 1969. Reed Elsevier bought Harcourt in 2000, and Academic Press is now an imprint of Elsevier. Academic Press publishes reference ...

, 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 launched on 29 March 1859. The editor is Ruadhán Mac Cormaic. It is published every day except Sundays. ''The Irish Times'' is considered a newspaper ...

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