Arnon Avron
Automat automata computer computer science formal language formal languages logic mathematical logic programming programming language verification algorithm analysis and problem complexity
From the reviews:
"This festschrift is dedicated to Boris Trakhtenbrot on the occasion of his 85th birthday. … The volume covers a wide variety of papers on logic and the foundations of theoretical computer science, written by top people in the field. It is certainly worth acquiring for a library." (K. Lodaya, ACM Computing Reviews, January, 2009)