Education:
Ph.D., Illinois at Urbana-Champaign, 1969
Research Interests:
VLSI testing, theorem proving, mechanical translation, neural networks, artificial intelligence.
Location:
Building: Spong Hall Room #224Website: www.cs.odu.edu/~toida