胡振江

J-GLOBALへ         更新日: 18/09/12 14:26
 
アバター
研究者氏名
胡振江
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 最優秀論文賞
 

論文

 
Putback-based Bidirectional Model Transformations
Xiao He, Zhenjiang Hu
26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018), Lake Buena Vista, Florida, United States, Gothenburg, Sweden, November 4-9, 2018.      2018年11月   [査読有り]
iPregel: A Combiner-Based In-Memory Shared-Memory Vertex-Centric Framework
Ludovic Capelli, Timothy Zakian, Zhenjiang Hu
Eleventh International Workshop on Parallel Programming Models and Systems Software for High-End Computing (P2S2 2018), Oregon, August 13, 2018.      2018年8月   [査読有り]
On Early Statistical Requirements Validation of Cyber-Physical Space Systems
Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018), Gothenburg, Sweden, May 27, 2018.      2018年5月   [査読有り]
Optimizing Declarative Parallel distributed Graph Processing by using Constraint Solvers
Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu and Hideya Iwasaki
Fourteenth International Symposium on Functional and Logic Programming (FLOPS 2018), Nagoya, Japan, 9-11 May, 2018.      2018年5月   [査読有り]
Principles and practice of bidirectional programming in BiGUL
Zhenjiang Hu, Hsiang-Shang Ko
Lecture Notes in International Summer School on Bidirectional Transformations (BX School 2016)   9715 100-149   2018年4月   [査読有り]

講演・口頭発表等

 
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日   
Bidirectional Programming and Software Adaptation: Towards a Happy Marriage [招待有り]
胡振江
The 9th International Conference on Knowledge and Systems Engineering   2017年10月19日   
Bidirectional Transformation in Practice [招待有り]
胡振江
17th IEEE International Working Conference on Source Code Analysis and Manipulation   2017年9月17日   

担当経験のある科目

 
 

競争的資金等の研究課題

 
双方向の深化による自律分散ビッグデータの相互運用基盤に関する研究
日本学術振興会: 科学研究費助成事業(基盤研究(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年
 - 
現在
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月