Michael Hinchey
Encyclopedia
Michael G. Hinchey is an Irish
computer scientist and Director at the Irish Software Engineering Research Centre (Lero
), University of Limerick
, Ireland
.
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
and the Z notation
. He was Director of the Software Engineering Laboratory at NASA Goddard Space Flight Center and is the founding editor-in-chief of the NASA
journal Innovations in Systems and Software Engineering
, launched in 2005.
He has held numerous visiting professorships both visiting and permanent, in a number of universities including the University of Nebraska, Queen's University Belfast, New Jersey Institute of Technology
(Assistant Professor) and the Skövde University College
in Sweden and was at Loyola College in Maryland
, USA, before his current post.
He is a Fellow of the IET
, a Fellow of the IMA
, and a Senior Member of the IEEE.
Republic of Ireland
Ireland , described as the Republic of Ireland , is a sovereign state in Europe occupying approximately five-sixths of the island of the same name. Its capital is Dublin. Ireland, which had a population of 4.58 million in 2011, is a constitutional republic governed as a parliamentary democracy,...
computer scientist and Director at the Irish Software Engineering Research Centre (Lero
Lero (software engineering)
Lero , Republic of Ireland, was established in 2005 as a Science Foundation Ireland Centre for Science Engineering and Technology , being one of nine such centres established by the Irish Government in various areas of science and engineering.- Overview :Lero’s first Centre Director was Professor...
), University of Limerick
University of Limerick
The University of Limerick is a university in Ireland near the city of Limerick on the island's west coast. It was established in 1972 as the National Institute for Higher Education, Limerick and became a university by statute in 1989 in accordance with the University of Limerick Act 1989...
, Ireland
Ireland
Ireland is an island to the northwest of continental Europe. It is the third-largest island in Europe and the twentieth-largest island on Earth...
.
Mike Hinchey studied at the University of Limerick as an undergraduate (was the leading student in his graduating year), Oxford University (at Wolfson College
Wolfson College, Oxford
Wolfson College is a constituent college of the University of Oxford in England. Located in north Oxford along the River Cherwell, Wolfson is an all-graduate college with over sixty governing body fellows, in addition to both research and junior research fellows. It caters to a wide range of...
) for his MSc and Cambridge University (at St John's College
St John's College, Cambridge
St John's College is a constituent college of the University of Cambridge. The college's alumni include nine Nobel Prize winners, six Prime Ministers, three archbishops, at least two princes, and three Saints....
) for his PhD.
Hinchey has been a promulgator of formal methods
Formal methods
In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...
throughout his career, especially CSP
Communicating sequential processes
In computer science, Communicating Sequential Processes is a formal language for describing patterns of interaction in concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras, or process calculi...
and the Z notation
Z notation
The Z notation , named after Zermelo–Fraenkel set theory, 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:...
. He was Director of the Software Engineering Laboratory at NASA Goddard Space Flight Center and is the founding editor-in-chief of the NASA
NASA
The National Aeronautics and Space Administration is the agency of the United States government that is responsible for the nation's civilian space program and for aeronautics and aerospace research...
journal Innovations in Systems and Software Engineering
Innovations in Systems and Software Engineering
Innovations in Systems and Software Engineering 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 in association with NASA...
, launched in 2005.
He has held numerous visiting professorships both visiting and permanent, in a number of universities including the University of Nebraska, Queen's University Belfast, New Jersey Institute of Technology
New Jersey Institute of Technology
New Jersey Institute of Technology is a public research university in Newark, New Jersey. It is often also referred to as Newark College of Engineering ....
(Assistant Professor) and the Skövde University College
Skövde University College
Skövde University College is a university college in Skövde, Sweden. It has approximately 11000 students. Lecturers and other educational staff number around 340, with approximately 100 persons in administration as of March 2007...
in Sweden and was at Loyola College in Maryland
Loyola College in Maryland
Loyola University Maryland is a Roman Catholic, Jesuit private university in Baltimore, Maryland, United States. Established as Loyola College in Maryland by John Early and eight other members of the Society of Jesus in 1852, it is one of 28 member institutions of the Association of Jesuit Colleges...
, USA, before his current post.
He is a Fellow of the IET
Institution of Engineering and Technology
The Institution of Engineering and Technology is a British professional body for those working in engineering and technology in the United Kingdom and worldwide. It was formed in 2006 from two separate institutions: the Institution of Electrical Engineers , dating back to 1871, and the...
, a Fellow of the IMA
Institute of Mathematics and its Applications
The Institute of Mathematics and its Applications is the UK's chartered professional body for mathematicians and one of the UK's learned societies for mathematics ....
, and a Senior Member of the IEEE.
Selected publications
- Hinchey, M.G. and Bowen, J.P.Jonathan BowenJonathan P. Bowen FBCS FRSA is a British computer scientist. He is Chairman of Museophile Limited, an Emeritus Professor at London South Bank University where he has headed the Centre for Applied Formal Methods, and a Visiting Professor at the University of Westminster...
, editors, Applications of Formal Methods. Prentice HallPrentice HallPrentice Hall is a major educational publisher. It is an imprint of Pearson Education, Inc., based in Upper Saddle River, New Jersey, USA. Prentice Hall publishes print and digital content for the 6-12 and higher-education market. Prentice Hall distributes its technical titles through the Safari...
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 PressAcademic PressAcademic Press is an academic book publisher. Originally independent, it was acquired by Harcourt, Brace & World in 1969. Reed Elsevier bought Harcourt in 2000, and Academic Press is now an imprint of Elsevier....
, 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.