On Nov 27, the Institute of Electrical and Electronics Engineers has released its 2020 IEEE Fellow list. SJTU CS alumni Hu Zhenjiang won this honor for his contributions to robust software development.

IEEE (Institute of Electrical and Electronic Engineers) is an international institution for electrical technology and information science engineers. It has more than 400,000 members in over 160 countries. IEEE Fellow is the highest-ranking member of the society. It is the highest honor bestowed by the institute and recognized as an authoritative honor and an important professional achievement in the academic and technological circles. Those elected all made a significant contribution to the advancement or application of engineering science and technology and brought great value to society. No more than 0.1% of the IEEE's current membership can be elected each year.

Hu Zhenjiang graduated from the CS Department of Shanghai Jiao Tong University in 1988 with a Bachelor’s degree and in 1991 with a master’s degree. He received his Phd degree from the University of Tokyo in Japan in 1996. He is now a professor at Peking University. Prof. Hu has long been engaged in the research of programming language and software science and Engineering. He has done a lot of pioneering work and made outstanding research achievements  in the fields of programming language design, structured functional programming, automatic synthesis and optimization of programs, parallel programming, design and implementation of bi-directional transformation languages, and software evolution and maintenance. He was awarded the Best Doctoral Thesis Award in Japan, the Basic Research Achievement Award of the Japan Software Science Society. He is honored with the title of the pioneer scientist of the 21st century (Japan Science and Technology Agency) and the member of the Japan Institute of Technology. In recent years, Prof. Hu has made a series of breakthroughs in the research of program calculus and its applications in automatic parallelization, language calculation of two-way transformation, model-driven software development, and the formalization of software refinement. He has published a number of papers at top international conference on programming languages such as POPL, PLDI, ICFP, and  top international conference on software engineering such as ICSE and FSE .