Zhenjiang Hu's home page

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Zhenjiang Hu's home page

		Zhenjiang Hu Associate Professor Information Processing Laboratory Department of Mathematical Informatics Department of Mathematical Engineering and Information Physics The University of Tokyo

Research

My main interest is in programming languages and systems, especially functional programming and program transformation. I am particularly interested in the theory of 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, and efficient manipulation of structured documents.

At the moment, I am working on the following projects (some links are to Japanese pages).

If you are interested in joining us, I'd be pleased to hear from you. A list of old projects can be found here.

Publications

Paper List
see also a list of publications in the DBLP Bibliography Server

Academic Activities

I am now serving on the program committees of the following conferences. Please consider submission of your papers to them.

The 2004 International Conference on Functional Programming
(ICFP 2004, Snowbird, Utah, September 19-22, 2004)
13th International Workshop on Functional and (Constraint) Logic Programming
(WFLP 2004, Aachen, June 1 - 2, 2004)
4th International Workshop on Constructive Methods for Parallel Programming
(CMPP 2004, Stirling, Scotland, UK, 14 - 15 July 2004)
Workshop on Practical Aspects of High-level Parallel Programming
(PAPP 2004, Krakow, Poland, June 7-9, 2004)

I am also one of the organizers of the The Tokyo Programming Seminars. Join us at the seminar.

Here are pointers to some previous conferences: APLAS 2003, PPL Summer School 2003, WRSC 2003, APLAS 2002, FLOPS 2002, MPC 2002, WAAAPL 2002, PPL 2002, PEPM 2002, TACS 2001, PPL 2001, FLOPS 2001, MPC 2000, PPL 2000, PPL'99, MPC'98.

Teaching

I love teaching. Some materials are available online.

Mathematical Structures in Programs (graduate, 2004)
Mathematical Structures in Computation Models (undergraduate, 2004)
Functional Programming (undergraduate, 2003)
Mathematical Structures in Computation Models (undergraduate, 2003)
Algorithmic Languages (undergraduate, 2002)
Mathematical Structures in Programs (graduate, 2002)
Programming Languages (graduate, 2000)

Contact Information

Office: Rm. 133, Eng. Dept. Bldg.9
Tel: +81-3-5841-7411
Fax: +81-3-5841-8607
Email: hu @ mist.i.u-tokyo.ac.jp

Last modified on March 29, 2004.