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