Michael Gerard Hinchey (nacido en 1969) [1] es un científico informático irlandés y ex director del Centro de Investigación de Ingeniería de Software de Irlanda ( Lero ), un centro de investigación de varias universidades con sede en la Universidad de Limerick , Irlanda. [2] [3]
Mike Hinchey estudió en la Universidad de Limerick como estudiante (fue el estudiante líder en su año de graduación [2] ), la Universidad de Oxford (en Wolfson College ) para su maestría y la Universidad de Cambridge (en St John's College ) para su doctorado. [4]
Hinchey ha sido promulgator de métodos formales a lo largo de su carrera, especialmente CSP y el lenguaje z . Fue Director del Laboratorio de Ingeniería de Software de la NASA en el Centro de Vuelo Espacial Goddard de la NASA [5] y es el editor en jefe fundador de la revista Innovations in Systems and Software Engineering de la NASA , lanzada en 2005.
Ha ocupado diversos cargos académicos, tanto visitar y permanente, en varias universidades, incluyendo la Universidad de Nebraska , la Universidad Queen de Belfast , Nueva Jersey Institute de Tecnología , [6] Universidad de Hiroshima [ cita requerida ] de la Universidad de Skövde en Suecia [2 ] y estuvo en Loyola College en Maryland (ahora Loyola University Maryland ), Estados Unidos, antes de su puesto actual.
Hinchey es miembro de la Academia Europaea , miembro del IET , miembro del IMA y miembro senior del IEEE . [ cita requerida ] Es ingeniero colegiado, ingeniero profesional colegiado, matemático colegiado y profesional de TI colegiado. [ cita requerida ]
Desde 2015, Hinchey se ha desempeñado como Vicepresidente de IFIP ( Federación Internacional para el Procesamiento de la Información ) [7] y Presidente de su Asamblea Técnica.