You are here: Home / Members / Tetsuo Ida

Tetsuo Ida

Tetsuo Ida's home page in the Eos project (www.i-eos.org/ida)

Welcome to Tetsuo Ida's  home page

Tetsuo Ida, Dr. Sc., Dr. h. c.

Professor Emeritus

University of Tsukuba

Address:

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

Email: ida@i-eos.org, Tetsuo.Ida@acm.org, ida@cs.tsukuba.ac.jp,Tetsuo.Ida@gmail.com

Skype: tetsuoscore

Recent Publications (2014 -)

Recent Activities (2016 -)

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

 

    photo of Tetsuo Ida 

    Research Interest
    Teaching
    • Symbolic Computation
    • Advanced course on Deduction and Computation
    • Rewrite Techniques
    • Computational Origami
    • Constraint Functional and Logic Programming
    Professional Career Education and Degrees
    Publications of SCORE ( ~ 2011)

    Miscellany

     

    Messages