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