As of Feb 2006 I have started working as an assistant research fellow in Academia Sinica, Taiwan.

        Before that I worked as a postdoc researcher in the Programmable StructuredDocument project in Information Processing Lab, University of Tokyo. I graduated from the Algebra of Programming group in Oxford University, working with Prof. Richard Bird.