 | 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@i-eos.org, tetsuo.ida@acm.org
Publications – research papers
ResearchGate: https://www.researchgate.net/profile/Tetsuo_Ida/
Research Interest:
- Symbolic computation
- Computational origami
- Automated theorem proving
Teaching:
Miscellany