Homepage of Tetsuo Ida

Tetsuo Ida, Dr. Sc., Dr. h. c.
Professor Emeritus, University of Tsukuba

Address:

Department of Computer Science
Faculty of Engineering, Informatics, and Systems
University of Tsukuba
Tsukuba 305-8573, Japan

Email: ida@cs.tsukuba.ac.jp, ida@tieos.net, tetsuo.ida@acm.org

Professional Career

Education and Degrees

Honor

Publications – research papers

Publications – books

ResearchGate: https://www.researchgate.net/profile/Tetsuo_Ida/

Research Interest:

  • Symbolic computation
  • Computational origami
  • Automated theorem proving

Teaching:

Miscellany