| | 胡振江 更新日: 19/02/07 18:09 プロフィール1988年中国上海交通大学計算機科学系を卒業．1996年東京大学大学院工学系研究科情報工学専攻博士課程修了．同年日本学術振興会特別研究員を経て，1997年東京大学大学院工学系研究科情報工学専攻助手，同年10月同専攻講師, 2000年同専攻准教授, 2008年より国立情報学研究所教授． 研究分野 情報学 / ソフトウェア / プログラミング言語、関数プログラミング、ソフトウエア工学
経歴 2018年4月 - 現在 University of Tokyo Graduation School of Information Science and Technology Professor 2008年4月 - 現在 Sokendai Department of Informatics Professor 2016年4月 - 2018年3月 Sokendai Department of Informatics Chair 2008年4月 - 現在 National Institute of Informatics Information Systems Architecture Science Research Diviison Professor 2000年7月 - 2008年3月 The University of Tokyo Associate Professor 受賞 2016年6月 日本ソフトウェア科学会 2015年度基礎研究賞 ソフトウェア科学分野の基礎研究において顕著な業績を挙げていることを認められ、受賞 2015年10月 8th International Conference on Software Language Engineering Distinguished Reviewer Award SLE 2015のプログラム委員として、丁寧な論文の査読、建設的な査読報告書の提出、また積極的に議論に参加する姿勢が評価された。 2012年2月 ACM Recognition of Service Award 2008年3月 JSSSTプログラミング論研究会 PPL 2008 最優秀論文賞 論文 Incrementalization of Vertex-Centric Programs Timothy A. K. Zakian, Ludovic A. R. Capelli, Zhenjiang Hu 33rd IEEE International Parallel and Distributed Processing Symposium (IPDPS 2019), Rio de Janeiro, Brizil, May 20-24, 2019. 2019年5月 [査読有り] POET: Privacy on the Edge with Bidirectional Data Transformations 胡振江 Nianyu Li, Christos Tsigkanos, Zhi Jin, Schahram Dustdar, Zhenjiang Hu, Carlo Ghezzi 2019年3月 [査読有り] Towards Bidirectional Synchronization between Communicating Processes and Session Types Liye Guo, Hsiang-Shang Ko, Keigo Imai, Nobuko Yoshida Zhenjiang Hu Second Workshop on Software Foundations for Data Interoperability (SFDI 2019), February 27, 2019, Kyoto University, Japan. 2019年2月 [査読有り] Controlling and Sharing Distributed Data for Implementing Service Alliance Transformations Yasuhito Asano, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Makoto Onizuka, Masatoshi Yoshikawa Second Workshop on Software Foundations for Data Interoperability (SFDI 2019), February 27, 2019, Kyoto University, Japan. 2019年2月 [査読有り] Design and Engineering of Adaptive Software Systems Soichiro Hidaka, Zhenjiang Hu, Marin Litoiu, Lin Liu, Patrick Martin, Xin Peng, Guiling Wang, Yijun Yu Engineering Adaptive Software Systems, Communications of NII Shonan Meetings, Springer 1-33 2019年2月 [査読有り] 講演・口頭発表等 On Verification of Bidirectional Transformations [招待有り] 胡振江 20th International Conference on Formal Engineering Methods 2018年11月15日 Verification of Roundtrip Property in Bidirectional Programming [招待有り] 胡振江 3rd National Symposium on Formal Method 2018年11月3日 Can Programming be Liberated from Unidirectional Style?Fourteenth InteCan Programming be Liberated from Unidirectional Style? [招待有り] 胡振江 Fourteenth International Symposium on Functional and Logic Programming 2018年5月10日 Can Programming be Liberated from Unidirectional Style? [招待有り] 胡振江 GRACE Symposium 2017 – Next Ten Years of Software Engineering 2017年12月20日 Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu 15th Asian Symposium on Programming Languages and Systems (APLAS 2017), Suzhou, China 2017年11月27日 競争的資金等の研究課題 双方向の深化による自律分散ビッグデータの相互運用基盤に関する研究 日本学術振興会: 科学研究費助成事業（基盤研究(S)） 研究期間: 2017年6月 - 2022年3月 代表者: 胡振江 しなやかなシステムを実現するマルチビュー実行時モデルフレームワーク 日本学術振興会: 科学研究費助成事業（基盤研究A） 研究期間: 2017年4月 - 2022年3月 代表者: 本位田真一 大規模グラフ並列処理のための代数的構造に基づく理論基盤とプログラム開発基盤の構築 日本学術振興会: 科学研究費助成事業（基盤研究(B)） 研究期間: 2014年4月 - 2018年3月 代表者: 岩崎英哉 Structural Recursion on Bulk Synchronous Parallelism for Efficient Large-Graph Querying 日本学術振興会: 科学研究費助成事業（挑戦的萌芽研究） 研究期間: 2015年4月 - 2017年3月 代表者: 胡振江 大規模な実用に耐えうる双方向グラフ変換の統合的基盤技術の構築 日本学術振興会: 科学研究費助成事業（基盤研究(A)） 研究期間: 2013年4月 - 2017年3月 代表者: 胡振江 委員歴 2017年 - 現在 Science of Computer Programing (Elsevier) Editorial Board Member 2017年 - 現在 SCIENCE CHINA Information Sciences (Springer) Editorial Board Member 2015年 - 現在 Asian Association for Foundation of Software Executive Committee member 2014年 - 2016年 ACM Haskel Symposium (Haskell) Steering Committee Member 2014年 - 現在 IEEE Conference Advisory Committee Member Misc Describing Pregel Algorithms with Non-adjacent Data Communication Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu 2016年9月 日本ソフトウェア科学会第33回大会にて発表（東北大学片平キャンパス、2016年9月7日-9日 Le-Duc Tung, Kento Emoto, Zhenjiang Hu Grace-TR-2014-03, Grace Center, National Institute of Informatics 1-10 2014年8月 Zhenjiang Hu, Juan de Lara Software Modeling and Systems 533-535 2013年12月 Efficient Query Evaluation on Distributed Graph with Hadoop Environment Le Dec Tung, Quyet Nguyen-Van, Zhenjiang Hu 日本ソフトウェア科学会第30回大会, 東京大学本郷キャンパス, 2013年9月10日～13日. 2013年9月 An Experimental Implementation of Self-adjusting Bidirectional Transformations, Vo Huu Phuc, 加藤弘之, 日高宗一郎, 胡振江 日本ソフトウェア科学会第30回大会, 東京大学本郷キャンパス, 2013年9月10日～13日. 2013年9月 |
|
|
|
|  |
注目の...