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 in general, and functional programming and program transformation 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, and efficient manipulation of structured documents.

At the moment, I am working on the following projects (some are linked to Japanese web sites).

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

Publications

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

Academic Activities

I am now involved in the following conferences/workshops/schools. Please consider submission of your papers or participation.

PC Co-Chair: The Second DIKU-IST Joint Workshop on Foundations of Software
(DIKU-IST 2006, Shonan Village Center, Kanagawa, April 21-22, 2006)
運営委員長: 日本ソフトウエア科学会第23回大会
(University of Tokyo, Tokyo, September 13-15, 2006)
PC member, 5th International Conference on Generative Programming and Component Engineering
(GPCE 2006, Portland, Oregon, USA, October 22-26, 2006)
PC member, Third Fourth International Workshop on Practical Aspects of High-level Parallel Programming
(PAPP 2007, University of Beijing, China, May 27-30, 2007)
PC member, 第9 回プログラミングおよびプログラミング言語ワークショップ
(PPL 2007, Ishikawa Prefecture, Japan, March 8-10, 2007)

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

You may find more information about my activities by clicking here.

Software

You may get fun to play with the following software developed by our group, and your comments are greatly appreciated.

PSD Application Package for Construction of Programmable Structured Documents.
SkeTo: A C++ Library for Deadlock-free Parallel Programming with Parallel Skeletons.
Yicho: A Combinator Library for Supporting Calculational Programming.
HYLO: An automatic fusion calculation system (implemented in the old GHC).

Teaching

I like teaching. Some materials are available online.

Mathematical Structures in Computation Models (undergraduate, 2006)
Mathematical Structures in Programs (graduate, 2006)
Mathematical Structures in Computer Programs (Functional Programming) (undergraduate, 2005)

Contact Information

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

Last modified on April, 2006.