Michael Hinchey

Michael G. Hinchey
Född	1969 (53–54 år) Limerick , Irland
Nationalitet	irländska
Medborgarskap	Republiken Irland, USA
Alma mater	University of Limerick, Wolfson College, Oxford , St John's College, Cambridge
Känd för	Formella metoder , vice ordförande för IFIP
Vetenskaplig karriär
Fält	Datavetenskap
institutioner	University of Nebraska , Queen's University Belfast , New Jersey Institute of Technology , University of Skövde , Loyola College i Maryland , University of Queensland , Virginia Tech , NASA Goddard Space Flight Center University of Limerick

Michael Gerard Hinchey (född 1969) är en irländsk datavetare och tidigare direktör för Irish Software Engineering Research Center ( Lero ), ett forskningscenter för flera universitet med huvudkontor vid University of Limerick, Irland. Han fungerar nu som avdelningschef för avdelningen för datavetenskap och informationssystem vid University of Limerick.

Mike Hinchey studerade vid University of Limerick som grundutbildning (var den ledande studenten under sitt examensår), Oxford University (vid Wolfson College ) för sin MSc och Cambridge University (vid St John's College ) för sin doktorsexamen.

Hinchey har varit en promulgator av formella metoder under hela sin karriär, särskilt CSP och Z-notationen . Han var direktör för NASA Software Engineering Laboratory vid NASA Goddard Space Flight Center och är grundande chefredaktör för NASA-tidskriften Innovations in Systems and Software Engineering, som lanserades 2005.

Han har haft många akademiska befattningar, både besökande och permanenta, vid ett antal universitet, inklusive University of Nebraska , Queen's University Belfast , New Jersey Institute of Technology , Hiroshima University University of Skövde i Sverige och var vid Loyola College i Maryland (nu Loyola University Maryland ), USA, innan hans nuvarande tjänst.

Hinchey är medlem av Academia Europaea , fellow i IET , fellow i IMA och seniormedlem i IEEE . Han är en Chartered Engineer, Chartered Professional Engineer, Chartered Mathematician och Chartered IT Professional.

Från och med 2016 har Hinchey varit ordförande för IFIP ( International Federation for Information Processing) .

Utvalda publikationer

•   Hinchey, MG och Bowen, JP , redaktörer, Applications of Formal Methods . Prentice Hall International Series in Computer Science, 1995. ISBN 0-13-366949-1 .
•   Dean, CN och Hinchey, MG, redaktörer, Teaching and Learning Formal Methods , Academic Press , London, 1996. ISBN 0-12-349040-5 .
•   Bowen, JP och Hinchey, MG, redaktörer, High-Integrity System Specification and Design . Springer-Verlag , London, FACIT-serien, 1999. ISBN 3-540-76226-4 .
•   Hinchey, MG och Bowen, JP, redaktörer, Industrial-Strength Formal Methods in Practice . Springer-Verlag, London, FACIT-serien, 1999. ISBN 1-85233-640-4 .

externa länkar

• Mike Hincheys webbsida
• Michael G. Hinchey på DBLP Bibliography Server
• Michael Hinchey -publikationer indexerade av Google Scholar
• Intervju – The Irish Times