He_Jifeng
彼Jifeng（簡体字中国語：何积丰;繁体字中国語：何積豐;拼音：HéJīfēng、1943年8月生まれ）は中国のコンピューター科学者です。
彼はジフェン（何积丰）
生まれ
1943年8月
上海、中国
国籍 母校
復旦大学
で知られている
プログラミング理論の統一
科学的キャリア
田畑
コンピュータサイエンス、形式手法
機関
華東師範大学オックスフォード大学上海交通大学国連大学
影響
トニー・ホーア
中国名では、
家系の名前は
彼です。
彼は1965年に復旦大学の数学科を卒業しました。 1965年から1985年まで、彼は華東師範大学のインストラクターでした。1980年から81年の間、彼はスタンフォード大学と米国カリフォルニア州のサンフランシスコ大学の客員研究員でした。
1984年から1998年まで、He Jifengは、オックスフォード大学コンピューティング研究所（現在はオックスフォード大学コンピューターサイエンス学部）のプログラミング研究グループの上級研究員でした。彼はコンピューティングサイエンスの形式的な側面に幅広く取り組んだ。特に、彼はトニー・ホーア教授と協力し、後にプログラミングの統一理論に取り組み、その名前の本を生み出しました。
1986年以来、彼は上海の華東師範大学でコンピューターサイエンスの教授を務めています。 1996年には、上海交通大学のコンピューターサイエンスの教授にもなりました。
1998年、彼は中国マカオに本拠を置く国連大学の国際ソフトウェア技術研究所（UNU-IIST）の上級研究員になりました。彼は2005年に上海に戻りました。
彼の研究対象には、コンピューターシステム、通信、アプリケーション、標準の仕様に関する適切な方法、およびそれらの仕様をソフトウェアやハードウェアで信頼性の高い方法で設計および実装するための手法が含まれます。
2005年に、彼は中国科学院に選出されました。2013年、彼の70歳の誕生日は、華東師範大学で、コンピューティングの理論的側面に関する国際会議（ICTAC）に関連して、国際的な3日間の記念論文集で祝われました。
本
彼のJifengは、次のような多くのコンピュータサイエンスの本を書いています。
彼Jifeng、おそらく正しいシステム：通信言語のモデリングと最適化されたコンパイラの設計。McGraw-Hill International Series in Software、1995年。ISBN978-0-07-709052-4 。
CARHoareとHeJifeng、プログラミングの統一理論。Prentice Hall International Series in Computer Science、1998
年。ISBN978-0-13-458761-5。
ZhimingLiuとHeJifeng、コンポーネントソフトウェアの数学的フレームワーク：分析と合成のモデル。World Scientific Publishing Company、コンポーネントベースのソフトウェア開発に関するシリーズ、2007
年。ISBN978-981-270-017-9。
参考文献
^ 「彼Jifeng」。www.namesviews.com。ブレーンストーミング。2012年9月9日にオリジナルからアーカイブされました。
^ 「彼Jifengコンピュータソフトウェアの専門家」。杭州サービス工学研究所]、杭州師範大学。2013年9月27日にオリジナルからアーカイブされました。
^ 彼は、中国の 華東師範大学のウェイバックマシンで2012-02-27をアーカイブしました。
^ 「彼Jifengに敬意を表しての記念論文集シンポジウム」。中国、上海：華東師範大学。2013年9月1〜3日。2013年9月26日のオリジナルからアーカイブ。
^ 劉、Zhiming ; ウッドコック、ジム; 朱、Huibiao、eds。（2013）。プログラミングと形式手法の理論：彼の70歳の誕生日の機会に彼に捧げられたエッセイ。コンピュータサイエンスの講義ノート。巻 8051.スプリンガー。土井：10.1007/978-3-642-39698-4。ISBN 978-3-642-39697-7。
^ 「彼Jifengによる本」。Amazon.com。
外部リンク
彼Jifengホームページ 2012-02-27をウェイバックマシンでアーカイブ（英語）
DBLPBibliographyServerのJifengHe _
MicrosoftAcademicによって索引付けされたJifengの出版物”