何吉峰

何吉峰
何吉峰
何积丰
	2018年にBCSロンドン事務所で講演するJifeng He教授
生まれる	1943年8月（81歳）; 上海、中国
国籍	中国語
母校	復旦大学
知られている	プログラミングの統一理論
	科学者としてのキャリア
フィールド	コンピュータサイエンス、形式手法
機関	華東師範大学; オックスフォード大学; 上海交通大学; 国連大学同; 済大学
Webサイト	www.jfai-sh.com

何継峰(簡体字:何积丰、繁体字:何積豐、ピンイン: Hé Jīfēng、1943 年 8 月生まれ) は、中国のコンピューター科学者です。^[1]^[2]

何継鋒は1965年に復旦大学数学科を卒業した。 ^[3] 1965年から1985年まで華東師範大学で講師を務めた。1980年から1981年にかけて、米国カリフォルニア州のスタンフォード大学とサンフランシスコ大学の客員研究員を務めた。^[2]

1984年から1998年まで、何継鋒はオックスフォード大学計算機研究所（現オックスフォード大学計算機科学部）のプログラミング研究グループの上級研究員を務めた。 ^[2]彼は計算機科学の形式的な側面について広範囲に研究した。特に、彼はトニー・ホーア教授と共同で『Unifying Theories of Programming』というタイトルの本を出版した。

1986年以来、何継鋒は上海の華東師範大学でコンピュータサイエンスの教授を務めている。 ^[4] 1996年には上海交通大学のコンピュータサイエンスの教授にも就任した。

1998年、マカオに拠点を置く国連大学国際ソフトウェア技術研究所（UNU-IIST）の上級研究員に就任。^[2] 2005年に上海に戻った。

何吉峰の研究対象は、コンピュータシステム、通信、アプリケーション、標準の仕様を定めるための健全な方法と、それらの仕様を高い信頼性でソフトウェアやハードウェアに設計および実装するための技術などである。^[2]

2005年、彼は中国科学院会員に選出された。2013年、彼の70歳の誕生日は、国際コンピューティングの理論的側面に関する会議（ICTAC）と連携した3日間の国際記念論文集で華東師範大学で祝われた。 ^[5]^{[6] 10年後の2023年には、彼の80歳の誕生日が、}上海科学館で2日間のハイブリッド国際記念論文集シンポジウムで祝われた。^[7]^{[8] 2019年以来、彼は上海の}同済大学の特別教授を務めている。^[2]

書籍

何吉峰はコンピュータサイエンスに関する数多くの著書を執筆しており、その中には次のようなものもある。^[9]

He Jifeng、「証明可能で正しいシステム: 通信言語のモデリングと最適化されたコンパイラの設計」、 McGraw-Hill International Series in Software、1995 年。ISBN 978-0-07-709052-4 。
CAR Hoareと He Jifeng、「Unified Theories of Programming」、Prentice Hall International Series in Computer Science、1998 年。ISBN 978-0-13-458761-5。
Zhiming Liuおよび He Jifeng、「コンポーネントソフトウェアの数学的フレームワーク: 分析および合成のためのモデル」。World Scientific Publishing Company、コンポーネントベースソフトウェア開発シリーズ、2007 年。ISBN 978-981-270-017-9。

参考文献

^ “He Jifeng”. www.namesviews.com . Brainstorm. 2012年9月9日時点のオリジナルよりアーカイブ。 2012年4月9日閲覧。
^ abcdef Bowen, Jonathan P. ; Zhu, Huibiao (2023). 「Jifeng He at Oxford and Beyond: An Appreciation」。Bowen , Jonathan P. ; Li, Qin; Xu, Qiwen (eds.)。プログラミング理論と形式手法: Jifeng He の 80 歳の誕生日を記念したエッセイ。Lecture Notes in Computer Science。Vol . 14080。Springer。pp . 3–18。doi :10.1007/978-3-031-40436-8_1。ISBN 978-3-031-40435-1。
^ 「He Jifeng computer software expert」。杭州 師範大学、杭州サービス工学研究所。2013年9月27日時点のオリジナルよりアーカイブ。2012年4月9日閲覧。
^ He Jifeng、Wayback Machineで2012年2月27日にアーカイブ、華東師範大学、中国。
^ 「何継峰を讃える記念シンポジウム」上海、中国：華東師範大学。2013年9月1日～3日。2013年9月26日時点のオリジナルよりアーカイブ。 2013年9月13日閲覧。
^ Liu, Zhiming ; Woodcock, Jim ; Zhu, Huibiao 編 (2013)。プログラミング理論と形式手法: Jifeng He の 70 歳の誕生日に捧げるエッセイ。コンピュータサイエンスの講義ノート。第 8051 巻。Springer。doi :10.1007 / 978-3-642-39698-4。ISBN 978-3-642-39697-7. S2CID 28825617。
^ 「ウェビナー: Jifeng@80: プログラミングと形式手法の理論」BCS 2023年9月15～16日2023年9月30日閲覧。
^ Bowen, Jonathan P. ; Li, Qin; Xu, Qiwen 編 (2023)。プログラミング理論と形式手法: Jifeng He の 80 歳の誕生日に捧げるエッセイ。コンピュータサイエンスの講義ノート。第 14080 巻。Springer。doi :10.1007 / 978-3-031-40436-8。ISBN 978-3-031-40435-1. S2CID 261585921。
^ “何継峰の本”.アマゾンドットコム。

外部リンク

上海華克志谷人工知能研究所、何吉峰氏率いる
ECNU の He Jifeng ホームページ、2012 年にアーカイブ(英語)
DBLP書誌サーバーの Jifeng He

[brainstorm-1] “He Jifeng”. www.namesviews.com . Brainstorm. 2012年9月9日時点のオリジナルよりアーカイブ。 2012年4月9日閲覧。

[BowenZhu23-2] Bowen, Jonathan P. ; Zhu, Huibiao (2023). 「Jifeng He at Oxford and Beyond: An Appreciation」。Bowen , Jonathan P. ; Li, Qin; Xu, Qiwen (eds.)。プログラミング理論と形式手法: Jifeng He の 80 歳の誕生日を記念したエッセイ。Lecture Notes in Computer Science。Vol . 14080。Springer。pp . 3–18。doi :10.1007/978-3-031-40436-8_1。ISBN 978-3-031-40435-1。

[3] ^ 「He Jifeng computer software expert」。杭州 師範大学、杭州サービス工学研究所。2013年9月27日時点のオリジナルよりアーカイブ。2012年4月9日閲覧。

[4] He Jifeng、Wayback Machineで2012年2月27日にアーカイブ、華東師範大学、中国。

[5] 「何継峰を讃える記念シンポジウム」上海、中国：華東師範大学。2013年9月1日～3日。2013年9月26日時点のオリジナルよりアーカイブ。 2013年9月13日閲覧。

[6] Liu, Zhiming ; Woodcock, Jim ; Zhu, Huibiao 編 (2013)。プログラミング理論と形式手法: Jifeng He の 70 歳の誕生日に捧げるエッセイ。コンピュータサイエンスの講義ノート。第 8051 巻。Springer。doi :10.1007 / 978-3-642-39698-4。ISBN 978-3-642-39697-7. S2CID 28825617。

[7] 「ウェビナー: Jifeng@80: プログラミングと形式手法の理論」BCS 2023年9月15～16日2023年9月30日閲覧。

[8] Bowen, Jonathan P. ; Li, Qin; Xu, Qiwen 編 (2023)。プログラミング理論と形式手法: Jifeng He の 80 歳の誕生日に捧げるエッセイ。コンピュータサイエンスの講義ノート。第 14080 巻。Springer。doi :10.1007 / 978-3-031-40436-8。ISBN 978-3-031-40435-1. S2CID 261585921。

[9] “何継峰の本”.アマゾンドットコム。