Zhenjiang Hu#


Zhenjiang Hu
Email:huzj 'at' pku.edu.cn
Membership Number:4947
Membership type:ORDINARY
Main Country of Residence:CHINA
Section:INFORMATICS
Username:zhu
Elected:2019
Homepage: 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

  • Functional Programming
  • - Optimization of Functional programs
  • - Automatic Parallelization
  • - Program Calculation and Mathematical Structure of Programs
  • Bidirectional Transformation
  • - Design and Implementation of Bidirectional Languages
  • - Validation and Verification of Bidirectional Transformations
  • - Application of Bidirectional Transformation

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

Imprint Privacy policy « This page (revision-8) was last updated on Tuesday, 2. July 2019, 15:06 by Kaiser Dana
  • operated by