Toida's Home Page
Last Update August 25, 2013
Shunichi Toida
-
Emeritus Professor. Retired on January 1, 2006 but still working
part time.
Education
-
BS: University of Tokyo, Tokyo, Japan, 1959
-
MS & PhD: University of Illinois, Urbana, IL, 1966 & 1969.
Previous Research Interest
-
Computer Assisted Exercises for Theory Courses
-
Interactive exercises on discrete structures
click here
and look for "Interactive Exercises" in red.
-
Interactive exercises on formal languages and automata
click here and look for "Interactive Exercises" in red.
-
Applications of Artificial Intelligence (Natural Language
Understanding/Generation, Automated Reasoning, Symbolic Computation, Problem
Solving)
-
Fault diagnosis for logic circuits
-
Shift Register Realization of Serquential Machines 1
click here
-
Shift Register Realization of Serquential Machines 2
click here
Selected Publications
Information on Courses for ODU CS Students
toida@cs.odu.edu