Michael Hinchey

Michael G. Hinchey
Nació	1969 (51 a 52 años de edad) Limerick , República de Irlanda
Nacionalidad	irlandesa
Ciudadanía	República de Irlanda, EE. UU.
alma mater	Universidad de Limerick, Wolfson College, Oxford , St John's College, Cambridge
Conocido por	Métodos formales , Vicepresidente de IFIP
Carrera científica
Los campos	Ciencias de la Computación
Instituciones	Universidad de Nebraska , Queen's University Belfast , New Jersey Institute of Technology , University of Skövde , Loyola College en Maryland , University of Queensland , Virginia Tech , NASA Goddard Space Flight Center Universidad de Limerick

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.

Publicaciones Seleccionadas

• 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 resistencia industrial en la práctica . Springer-Verlag, Londres, serie FACIT, 1999. ISBN 1-85233-640-4 . 

Referencias

1. "Hinchey, Michael G. (Michael Gerard) 1969–" . WorldCat . Consultado el 12 de diciembre de 2012 .
2. Lero designar la NASA experto profesor Mike Hinchey como co-director , Wayback Machine .
3. Directores , Lero, Irlanda.
4. Hinchey, Michael G. , librería rural .
5. "Mike Hinchey" . Tercer taller NASA-Goddard / IEEE sobre enfoques formales de sistemas basados ​​en agentes "FAABS III" . 2011. Archivado desde el original el 8 de abril de 2011 . Consultado el 30 de agosto de 2016 .
6. 'NJIT-CIS: Graduate Project Information' Archivado el 22 de octubre de 2003 en Wayback Machine , Instituto de Tecnología de Nueva Jersey , Estados Unidos.
7. "Junta IFIP" . IFIP . Consultado el 2 de abril de 2015 .

enlaces externos

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