Programming Research Laboratory
Information Systems Architecture Research Division
National Institute of Informatics (NII)
|I am leading the Programming Research Laboratory. I received BS and MS degrees from Department of Computer Science and Engineering of Shanghai Jiaotong Unviersity in 1988 and 1991 respectively, and Ph.D 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 am also a visiting professor of JAIST, and a visiting professor (under the Changjiang Scholar Program) of Peking University.|
|My main interest is in programming languages and software
construction in general, and functional programming, program
transformation and model driven software development in
particular. I am very interested in program calculation based on
programming algebras, and I am looking into how to apply this theory
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]
| I am now involved in the following international conferences,
journals, and communities. Please consider
submission of your papers and participation in the related events.
|I like teaching. Some materials are available online.
Office: Rm. 1508
Email: hu at nii.ac.jp