Zhenjiang Hu#
| Membership Number: | 4947 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2019 |
| Main Country of Residence: | CHINA |
| Homepage(s): | http://sei.pku.edu.cn/~hu |
Present and Previous Positions
- 2019, 04 - present Professor, Peking University, China
- 2008, 04 - 2019, 03 Professor, National Institute of Informatics, Japan
- 2017, 04 - 2019, 03 Director, Information Systems Architecture Research Division, National Institute of Informatics, Japan
- 2018, 04 - 2019, 03 Professor, University of Tokyo, Japan
- 2008, 04 - 2019, 03 Professor, SOKENDAI (Graduate University for Advanced Studies), Japan
- 2016, 04 - 2018, 03 Head, Department of Informatics, SOKENDAI, Japan
- 2000, 07 - 2008, 03 Associate Professor, University of Tokyo, Japan
- 1997, 01 - 2000, 06 Assistant Professor, University of Tokyo, Japan
- 1996,04 - 1996, 12 JSPS Research Fellow, University of Tokyo, Japan
Fields of Scholarship
- Bidirectional Transformation
- - Automatic Parallelization
- - Optimization of Functional programs
- - Design and Implementation of Bidirectional Languages
- - Validation and Verification of Bidirectional Transformations
- - Program Calculation and Mathematical Structure of Programs
- - Application of Bidirectional Transformation
- Functional Programming
Honours and Awards
- Honors
- Fellow, Japan Federation of Engineering Society, 2016.
- ACM Distinguished Scientist, 2016.
- Yangtze River Scholar, the highest academic award issued to an individual in higher education by the Ministry of Education of the People's Republic of China, 2015.
- Basic Research Achievement Award, the most prestigious research award in Japan Society for Software Science and Technology, 2015.
- Distinguished Young Scholars of China, the National Natural Science Foundation of China, 2005.
- Young Research Pioneer Award, PRESTO program, Japan Science and Technology, 2001.
- Best Thesis/Paper Awards
- Distinguished Dissertation Award, for his PhD thesis entitled "Calculational Approach to Optimization of Functional Programs",
- Inoue Foundation of Science in Japan, 1997.
- Best Paper Award (Takahashi Award 2008), for the paper entitled “Towards Compositional Approach to Bidirectional Model Transformation”, Japan Society for Software Science and Technology, 2008.
- Best Paper Award (Takahashi Award 1997), for the paper entitled “Synthesis Lemma for Parallelization”, Japan Society for Software Science and Technology, 1997.
- Best Paper Award, for the paper entitled "A Specification Language for Solving Optimal Path Problems", SIG of Programming and Programming Languages, Japan Society for Software Science and Technology, 2008
