I tried hard to figure it out.
I'll admit this is pretty obscure. Perhaps I overestimated the number of people that took computer design, real analysis and mathematical logic in grad school. I did think that "touring machine" was hokey enough to have given it away.
I'm coming up rapidly on the 25th anniversary of my B.S. -- no comments from the peanut gallery necessary. There are references to five men who preoccupied my waking cycles for a few months way back then. After a long hiatus, I am trying to find ways to apply their work again.