胡振江

J-GLOBALへ         更新日: 19/02/07 18:09
 
アバター
研究者氏名
胡振江
URL
http://research.nii.ac.jp/~hu/
所属
国立情報学研究所
部署
アーキテクチャ科学研究系
職名
教授
学位
博士(工学)

プロフィール

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
 
2009年5月
日本ソフトウェア科学会 高橋奨励賞
 
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月