Michael Hinchey
From Wikipedia, the free encyclopedia
Michael G. Hinchey is an Irish computer scientist, now based in the United States.
Mike Hinchey studied at the University of Limerick as an undergraduate, Oxford University for his MSc and Cambridge University 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 and is currently based at Loyola College in Maryland, USA. He is a Fellow of the IET, a Fellow of the IMA, and a Senior Member of the IEEE.
[edit] Selected publications
- Hinchey, M.G. and Bowen, J.P., editors, Applications of Formal Methods. Prentice Hall International Series in Computer Science, 1995. ISBN 0-13-366949-1.
- 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.
[edit] External links
- Mike Hinchey biography
- Michael G. Hinchey bibliography in the DBLP database
Categories: Year of birth missing (living people) | Irish computer scientists | American computer scientists | Formal methods people | University of Limerick alumni | Alumni of the University of Oxford | Alumni of the University of Cambridge | Fellows of the Institution of Engineering and Technology | NASA personnel | Loyola College in Maryland faculty | Journal editors | Book editors | Irish non-fiction writers