ジョー・ストイ

ジョー・ストイ
ジョー・ストイが、英国コンピュータ協会の計算科学の形式的側面（BCS-FACS）夜間セミナー（ロンドンオフィス、2016年11月15日）でクリストファー・ストラチェイについて講演している。
生まれる	ジョセフ・E・ストイ イギリス
教育	オックスフォード大学
知られている	Christopher Stracheyによる表示的意味論 表示的意味論: プログラミング言語意味論に対する Scott-Strachey アプローチ Bluespec , Inc.
配偶者	ガブリエル・ストイ
科学者としてのキャリア
フィールド	コンピュータサイエンス
機関	プログラミング研究グループ、オックスフォード大学 MIT Bluespec Inc.

ジョセフ・E・ストイはイギリスのコンピュータ科学者である。彼はオックスフォード大学で物理学を専攻した。キャリアの初期、1970年代には、オックスフォード大学コンピューティング研究所（現オックスフォード大学コンピュータサイエンス学部）のプログラミング研究グループで、クリストファー・ストラチーと共に表示的意味論の研究に携わった。 ^[1]彼はオックスフォード大学ベリオール・カレッジのフェローであった。また、アメリカ合衆国のマサチューセッツ工科大学（MIT）にも在籍した経験がある。^[2]

2003年、彼は米国の電子設計自動化企業であるBluespec Inc.を共同設立しました。同社は、電子チップ設計用の高水準ハードウェア記述言語として拡張されたHaskellの派生言語であるBluespec SystemVerilog（BSV）という関数型プログラミング言語を提供しています。

彼の著書『表示的意味論：プログラミング言語意味論へのスコット・ストラチェイのアプローチ』（MIT出版、1977年）は現在では古典的なテキストとなっている。^[3]

ストイはオックスフォード大学のレディ・マーガレット・ホールの研究員で数学者のガブリエル・ストイと結婚した。^[4]

参考文献

1. Joe Stoy: 研究対象、オックスフォード大学コンピューティング研究所、英国。
2. 「IFIPワーキンググループ2.3：プログラミング方法論」。ニュース。Microsoft Research 。 2011年11月8日閲覧。
3. ジョー・ストイ『表示的意味論：プログラミング言語意味論へのスコット・ストラチェイのアプローチ』MITプレス、1981年（ペーパーバック）ISBN 978-0-262-69076-8。
4. 「Profile: Dr Gabrielle Stoy」オックスフォード、イギリス：Lady Margaret Hall、オックスフォード。 2016年11月17日閲覧。

外部リンク

• DBLP書誌サーバーのJoseph E. Stoy
• プログラム検証とセマンティクス：初期の研究
• Strachey とオックスフォード プログラミング リサーチ グループ: Christopher Strachey とオックスフォードプログラミング リサーチ グループに関する Joe Stoy による講演。