Michael Hinchey

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, Ireland. 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 (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 NASA 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 many academic positions, both visiting and permanent, at a number of universities including the University of Nebraska, Queen's University Belfast, New Jersey Institute of Technology, Hiroshima University the University of Skövde in Sweden and was at Loyola College in Maryland (now Loyola University Maryland), United States, before his current post.

Hinchey is a Member of Academia Europaea, a Fellow of the IET, a Fellow of the IMA, and a Senior Member of 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). Provided by Wikipedia
1
Recent Advances in Artificial Intelligence and Smart Applications [E-Book] : Proceedings of RAAISA 2023 /
2
Innovations in Signal Processing and Embedded Systems [E-Book] : Proceedings of ICISPES 2021 /
3
Applications of Networks, Sensors and Autonomous Systems Analytics [E-Book] : Proceedings of ICANSAA 2020 /
4
Software Engineering and Formal Methods [E-Book]: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings /
5
Distributed, Parallel and Biologically Inspired Systems [E-Book] : 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /
6
Biologically-Inspired Collaborative Computing [E-Book] : IFIP 20th World Computer Congress, Second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8–9, 2008, Milano, Italy /
7
Innovative Concepts for Agent-Based Systems [E-Book] : First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers /