マイケル・ヒンチー
マイケル・G・ヒンチー | |
|---|---|
| 生まれる | 1969年（56～57歳） |
| 市民権 | アイルランド、アメリカ合衆国 |
| 母校 | リムリック大学、オックスフォード大学ウルフソン・カレッジ、ケンブリッジ大学セント・ジョンズ・カレッジ |
| 知られている | 形式手法、 IFIP副会長 |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | ネブラスカ大学リンカーン校、クイーンズ大学ベルファスト校、ニュージャージー工科大学、シェブデ大学、メリーランド州ロヨラ大学、クイーンズランド大学、バージニア工科大学、NASAゴダード宇宙飛行センター、リムリック大学 |
マイケル・ジェラルド・ヒンチー（1969年生まれ）[ 1 ]は、アイルランドのコンピュータ科学者であり、アイルランドのリムリック大学に本部を置く複数大学の研究センターであるアイルランドソフトウェアエンジニアリング研究センター（Lero ）の元所長です。[ 2 ] [ 3 ]現在は、リムリック大学のコンピュータサイエンスおよび情報システム学部の学部長を務めています。
マイク・ヒンチーは、リムリック大学で学部生として学び（卒業年度に首席学生であった[ 2 ]）、オックスフォード大学（ウルフソン・カレッジ）で修士号を取得し、ケンブリッジ大学（セント・ジョンズ・カレッジ）で博士号を取得しました。[ 4 ]
ヒンチー氏は、そのキャリアを通じて形式手法、特にCSPとZ記法の普及に尽力してきました。彼はNASAゴダード宇宙飛行センターのNASAソフトウェア工学研究所の所長を務め[ 5 ] 、2005年に創刊されたNASAのジャーナル「Innovations in Systems and Software Engineering」の創刊編集長でもあります。
彼はネブラスカ大学リンカーン校、クイーンズ大学ベルファスト校、ニュージャージー工科大学[ 6 ] 、広島大学、スウェーデンのシェブデ大学[ 2 ]など、数多くの大学で客員および常勤の多くの学術職を歴任し、現職に就く前は、米国メリーランド州のロヨラ大学（現メリーランド州ロヨラ大学）に在籍していました。
ヒンチー氏は、 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編『形式手法の教授と学習』Academic Press , London, 1996年。ISBN 0-12-349040-5。
- Bowen, JPおよびHinchey, MG編『高信頼性システムの仕様と設計』Springer-Verlag、ロンドン、FACITシリーズ、1999年。ISBN 3-540-76226-4。
- Hinchey, MGおよびBowen, JP編『Industrial-Strength Formal Methods in Practice』Springer-Verlag, London, FACITシリーズ, 1999年. ISBN 1-85233-640-4。
参考文献
- ^ “マイケル・G・ヒンチー（マイケル・ジェラード） 1969年–” .ワールドキャット。2012 年12 月 12 日に取得。
- ^ a b c Lero が NASA の専門家マイク・ヒンチー教授をWayback Machine の共同ディレクターに任命。
- ^ディレクター、レロ、アイルランド。
- ^ヒンチー、マイケル G.、カントリーブックショップ。
- ^ 「マイク・ヒンチー」。NASA-ゴダード/IEEEによるエージェントベースシステムへの形式的アプローチに関する第3回ワークショップ「FAABS III」。2011年。2011年4月8日時点のオリジナルよりアーカイブ。 2016年8月30日閲覧。
{{cite web}}: CS1 maint: bot: 元のURLステータス不明（リンク） - ^「NJIT-CIS: 大学院プロジェクト情報」Wayback Machineに 2003 年 10 月 22 日にアーカイブ、ニュージャージー工科大学、米国。
- ^ 「IFIP理事会」IFIP . 2015年4月2日閲覧。
外部リンク
