Professors Vaughan R. Pratt (left) and Frederick C. Hennie discuss a problem in the theory of computation. Professor Pratt is interested in computational complexity, computational linguistics, and programming semantics. Professor Hennie's research interests include algorithms, theory of computation and applications of discrete mathematics.