| | 胡振江 更新日: 18/04/24 16:16 プロフィール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 最優秀論文賞 論文 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月 [査読有り] A Lightweight Data Sharing System based on Bidirectional Transformations (Experience paper) Adrien Duchene, Hugues Marchal, Zhenjiang Hu, Pierre Yves Schobbens 42-45 2018年4月 [査読有り] Seventh International Workshop on Bidirectional Transformations (BX 2018)にて発表
Nice, France, April 10, 2018. An Axiomatic Basis for Bidirectional Programming Hsiang-Shang Ko, Zhenjiang Hu 41:1-41:29 2018年1月 [査読有り] 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018)にて発表
Los Angeles, California, United States, Januray 8-13, 2018 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, November 27-29, 2017. 2017年11月 [査読有り] Towards Variability Management in Bidirectional Model Transformation Xiao He, Zhenjiang Hu, Yi Liu 41st IEEE Annual Computer Software and Applications Conference, (COMPSAC 2017), Turin, Italy, July 4-8, 2017. 224-243 2017年7月 [査読有り] 講演・口頭発表等 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日 Towards Variability Management in Bidirectional Model Transformation Xiao He, Zhenjiang Hu, Yi Liu 41st IEEE Annual Computer Software and Applications Conference, (COMPSAC 2017), Turin, Italy 2017年7月4日 競争的資金等の研究課題 双方向の深化による自律分散ビッグデータの相互運用基盤に関する研究 日本学術振興会: 科学研究費助成事業（基盤研究(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月 |
|
|
|
|  |
注目の...