Homepage of Tetsuo Ida

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

Address:

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

Email: ida@cs.tsukuba.ac.jp, ida@i-eos.org

Professional Career

Education and Degrees

Honor

Publications

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

Research Interest:

  • Symbolic computation
  • Computational origami
  • Automated theorem proving

Teaching:

Miscellany