Zhenjiang Hu

Professor
Director, Programming Languages Laboratory
Chair, Department of Computer Science and Technology
Peking University

Professor (by special appointment)
Programming Research Laboratory
National Institute of Informatics (NII)

I joined Peking University as a professor and the chair of Department of Computer Science and Technology in 2019. Prior to this position, I worked as a professor of University of Tokyo/NII. For a better transition to the new position, I am also a professor by special appointment in Information Systems Architecture Research Division of NII, and a visiting professor in Department of Informatics of SOKENDAI. I received BS and MS degrees from Department of Computer Science and Engineering of Shanghai Jiaotong Unviersity in 1988 and 1991 respectively, and PhD degree from Department of Information Engineering of University of Tokyo in 1996. I became a lecturer (assistant professor) in 1997 and an associate professor in 2000 in University of Tokyo. I joined National Institute of Informatics as a full professor in 2008. I was a full professor in Department of Communication and Information Engineering of University of Tokyo for the period of 2018-2019.

I am Fellow of JFES (Japan Federation of Engineering Society, 2016), ACM Distinguished Scientist (2016), Member of Academia Europaea (2019), IEEE Fellow (2020), and Member of Engineering Academy of Japan (2020).

Please visit my web page in Peking University.

I welcome excellent students to join my group as PhD students under the International Elite PhD Program, and postdoc researchers under the Boya Postdoctoral Fellowship Program.

Research
My main interest is in programming languages and software engineering in general, and functional programming, bidirectional transformation, and software adaptation in particular. I am very interested in transformational programming, and I am looking into how to apply it to automatic program optimization, systematic parallelization of sequential programs, efficient manipulation of structured documents, and bidirectional model transformation for software development.

Current Projects [complete list]

Selected Recent Publications [complete list | DBLP | Google Scholar] More selected publications: APLAS17, ICFP16, ECOOP16, PEPM16, MPC'15, PPDP'14, VLDB'14, FM'14, ICFP'13, PPDP'13, ICSE'12, ESOP'12, PPDP'11, ICFP'10, MPC'10, ESOP'10, MODELS'10, APLAS'10, ESEC/FSE'09, POPL'09, PEPM'09, ASE'07, ICFP'07, PLDI'07, SPAA'06, MPC'06, APLAS'04, MPC'04, EuroPar'04, ICFP'03, ESOP'02, ICFP'00, SAS'00, POPL'98 ICFP'97, ICFP'96,

Recent Keynote/Invited Talks:

  • Constructive Bidirectional Prgramming @ TFP 2021
  • Dependable Bidirectional Programming @ APSEC 2020
  • Dependable View Update Strategies on Relations @ FROM 2020
  • On Verification of Bidirectional Transformations @ ICFEM 2018
  • Verification of Roundtrip Property in Bidirectional Programming @ FMAC 2018
  • Can Programming be Liberated from Unidirectional Style? @ FLOPS 2018
Mor keynote/invited talks: GRACE 2017, KSE 2017, SCAM'17, JSSST'16, APLAS'14, FM'14, ISHCS'13, AWASE'13, PEPM'13, HOR'12.
Academic Activities
I am now involved in the following international conferences, journals, and communities. Please consider submission of your papers and participation in the related events. You may find more information about my activities by clicking here.

Teaching
I like teaching. Some materials are available online.
Contact Information
Office: Room 1247, Science Building #1, Peking University
Email: huzj at pku.edu.cn


Last modified in April 2019.