Tetsuo Ida, Dr. Sc., Dr. h. c.

Professor
University of Tsukuba

Address:
Department of Computer Science
University of Tsukuba
Tsukuba 305-8573, Japan

Email: ida@cs.tsukuba.ac.jp, Tetsuo.Ida@acm.org
Phone: +81-29-853-5533, 5164
Fax: +81-29-853-6982
Office: 1006, Laboratory of Advanced Research B

• Symbolic Computation

• Advanced Models of Computation and Deduction

• Rewrite Techniques

• Models of Computation

• Computational Origami

• Art of Programming

• Constraint Functional and Logic Programming