Homepage of Tetsuo Ida

Address:

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

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

Email: ida@cs.tsukuba.ac.jp, tetsuo.ida@acm.org, tetsuo.ida@gmail.com

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