All Interactive Exercises for CS381 and 390 have been reactivated. 4-17-06

Shunichi Toida

• Professor, Retired as of January 1, 2006
  

click here if you are interested in knowing how I have been feeling these days.

Education

• BS: University of Tokyo, Tokyo, Japan, 1959
  
• MS & PhD: University of Illinois, Urbana, IL, 1966 & 1969.

Current 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)

Information on Courses for ODU CS Students

• Web CS381 Discrete Structures --- Fall 2005
  
  
• On Campus CS390 Introduction to Theoretical Computer Science --- Fall 2005
  
  
  

Back to ODU CS Home Page