マイケル・ヒンチー

マイケル・ジェラルド・ヒンチー（1969年生まれ）^[1]は、アイルランドのコンピュータ科学者であり、アイルランドのリムリック大学に本部を置く複数大学研究センターであるアイルランドソフトウェアエンジニアリング研究センター（Lero）の元所長です。[ 2 ] [ 3 ^]現在はリムリック大学のコンピュータサイエンスおよび情報システム学部の学部長を務めています。

マイク・ヒンチーは、学部生としてリムリック大学（卒業年度に首席学生であった^[2]）、修士課程としてオックスフォード大学（ウルフソン・カレッジ）で学び、博士課程としてケンブリッジ大学（セント・ジョンズ・カレッジ）で学んだ^[4]。

Hinchey氏は、そのキャリアを通じて形式手法、特にCSPとZ記法の普及に尽力してきました。彼はNASAゴダード宇宙飛行センター^[5]のNASAソフトウェアエンジニアリング研究所の所長を務め、2005年に創刊されたNASAのジャーナル「Innovations in Systems and Software Engineering」の創刊編集長でもあります。

彼はネブラスカ大学、ベルファストのクイーンズ大学、ニュージャージー工科大学^[6] 、広島大学^{[要出典]、}スウェーデンのシェブデ大学[ ^{2]など、数多くの大学で客員および常勤の多くの学術職を歴任し、現職に就く前は}米国メリーランド州のロヨラ大学（現メリーランド州ロヨラ大学）に在籍していました。

Hinchey 氏は、 Academia Europaeaの会員、 IETのフェロー、 IMAのフェロー、 IEEEのシニア会員です。^[要出典]彼は、公認エンジニア、公認プロフェッショナルエンジニア、公認数学者、公認 IT プロフェッショナルです。^[要出典]

2016年現在、ヒンチーはIFIP（国際情報処理連盟）の会長を務めている。^{[7] [要出典]}

• Hinchey, MG およびBowen, JP編、『Applications of Formal Methods 』。Prentice Hall International Series in Computer Science、1995 年。ISBN  0-13-366949-1。
• Dean, CN および Hinchey, MG 編、『Teaching and Learning Formal Methods 』、Academic Press、ロンドン、1996 年。ISBN 0-12-349040-5。 
• Bowen, JP および Hinchey, MG 編、『High-Integrity System Specific and Design』。Springer - Verlag、ロンドン、FACIT シリーズ、1999 年。ISBN 3-540-76226-4。 
• Hinchey, MG および Bowen, JP 編、『Industrial-Strength Formal Methods in Practice』。Springer-Verlag、ロンドン、FACIT シリーズ、1999 年。ISBN 1-85233-640-4。 

• マイク・ヒンチーのウェブページ
• DBLP書誌サーバーの Michael G. Hinchey
• Google Scholarにインデックスされた Michael Hinchey の出版物
• インタビュー –アイリッシュ・タイムズ