マシュー・ヘネシー

マシュー・ヘネシーは、並行性、プロセス計算、プログラミング言語セマンティクスに特に貢献したアイルランドの コンピュータ科学者です。

マシュー・ヘネシーは、1976年から1977年にかけて、カナダのウォータールー大学で助教授を務めた。^[1]その後、1977年から1978年にかけて、ブラジルのペルナンブコ連邦大学の客員教授を務めた。その後、スコットランドのエディンバラ大学で研究員（1979年から1981年）、講師（1981年から1985年）を務めた。1985年には、デンマークのオーフス大学で客員講師/研究員を務めた。

ヘネシーは1985年から2008年までイギリスのサセックス大学情報学部のコンピュータサイエンスの教授を務めた。 ^[2]その後、ヘネシーはダブリンのトリニティ・カレッジのコンピュータサイエンス学部の研究教授を務めている。

ヘネシーの研究対象は、プログラミング言語と仕様言語の意味論的基礎、特にモバイルコンピューティングを含む分散コンピューティングの分野である。^[3]また、検証ツールにも興味を持っている。共著者にはロビン・ミルナーとゴードン・プロトキンがいる。

ヘネシーはヨーロッパアカデミーの会員である。^{[1] 2005年から2006年にかけては}王立協会/レヴァーホルム・トラストの上級研究員 を務め、ダブリン大学トリニティ・カレッジではアイルランド科学財団の研究教授を務めている。

マシュー・ヘネシーは数多くの本を執筆しています。

• ヘネシー、マシュー。分散π計算。ケンブリッジ大学出版局、ケンブリッジ、英国、2007年。ISBN  0-521-87330-4。
• ヘネシー、マシュー。プロセスの代数理論。MITプレス、マサチューセッツ州ケンブリッジ、1988年。ISBN 0-262-58093-4。^[4 ] 
• ヘネシー、マシュー。『プログラミング言語の意味論：構造的操作的意味論を用いた初歩的入門』。ジョン・ワイリー・アンド・サンズ、ニューヨーク、1990年。ISBN 0-471-92772-4。 

• ヘネシー・ミルナー論理
• オハオンフサ

• マシュー・ヘネシー トリニティ・カレッジ・ダブリン ホームページ
• Google Scholarにインデックスされた Matthew Hennessy の出版物