Address
Institute of Information Science and Electronics
University of Tsukuba.
Tsukuba 305-8573
Email
ida@score.is.tsukuba.ac.jp, Tetsuo.Ida@acm.org
Phone
029-853-5164,
029-850-3603
Rooms
3F925, RD304 (secretary)

Research Interest
Symbolic Computation
Functional Logic Programming
Constraint Programming
Rewrite Techniques
Origami
Project
�EGlobal Computing with Equational
Constraint Solvers
Lecture
¥Programming Techniques
�EComputation Models
�EAdvanced Models of Computation
and Deduction
�EModel Checking
Editor
�EJournal of Symbolic Computation
�EJournal of Functional and Logic
Programming
�ETexts and Monographs in Symbolic
Computation,Springer Wien New York
Other Activities
�EMember of the board of councilors
of JSSST
�EMember of IFIP TC1.6