Ted Eisenberg David Gries Juris Hartmanis M. Stuart Lynn Thomas Santoro