Juris Hartmanis Herbert S. Lin John R. Rice