Michael Hinchey

Michael Gerard Hinchey (nacido en 1969) ^{[ 1 ]} es un científico informático irlandés y exdirector del Centro Irlandés de Investigación en Ingeniería de Software ( Lero ), un centro de investigación multiuniversitario con sede en la Universidad de Limerick , Irlanda. ^{[ 2 ] [ 3 ]} Actualmente se desempeña como jefe del Departamento de Ciencias de la Computación y Sistemas de Información en la Universidad de Limerick.

Mike Hinchey estudió en la Universidad de Limerick como estudiante de pregrado (fue el mejor estudiante de su año de graduación ^{[ 2 ]} ), en la Universidad de Oxford (en Wolfson College ) para su maestría y en la Universidad de Cambridge (en St John's College ) para su doctorado. ^{[ 4 ]}

Hinchey ha sido un promotor de métodos formales a lo largo de su carrera, especialmente CSP y la notación 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 jefe fundador de la revista de la NASA Innovations in Systems and Software Engineering , lanzada en 2005.

Ha ocupado numerosos puestos académicos, tanto de profesor visitante como permanente, en varias universidades, entre ellas la Universidad de Nebraska-Lincoln , la Universidad Queen's de Belfast , el Instituto Tecnológico de Nueva Jersey , ^{[ 6 ]} la Universidad de Hiroshima, la Universidad de Skövde en Suecia ^{[ 2 ]} y estuvo en el Loyola College de Maryland (ahora Universidad Loyola de Maryland ), Estados Unidos, antes de su puesto actual.

Hinchey es miembro de la Academia Europaea , miembro del IET , miembro del IMA y miembro sénior del IEEE . Es ingeniero colegiado, ingeniero profesional colegiado, matemático colegiado y profesional de TI colegiado.

Desde 2016, Hinchey se desempeña como Presidente de IFIP ( Federación Internacional para el Procesamiento de la Información ). ^{[ 7 ]}

• Hinchey, MG y Bowen, JP , editores, Aplicaciones de métodos formales . Prentice Hall International Series in Computer Science, 1995. ISBN 0-13-366949-1.
• Dean, CN y Hinchey, MG, editores, Métodos formales de enseñanza y aprendizaje , Academic Press , Londres, 1996. ISBN 0-12-349040-5.
• Bowen, JP y Hinchey, MG, editores, Especificación y diseño de sistemas de alta integridad . Springer-Verlag , Londres, serie FACIT, 1999. ISBN 3-540-76226-4.
• Hinchey, MG y Bowen, JP, editores, Métodos formales de rigor industrial en la práctica . Springer-Verlag, Londres, serie FACIT, 1999. ISBN 1-85233-640-4.

• Página web de Mike Hinchey
• Michael G. Hinchey en el servidor de bibliografía DBLP
• Publicaciones de Michael Hinchey indexadas por Google Académico
• Entrevista – The Irish Times