Skip to:Main Content

Washington and Lee University

Washington and Lee University

Tom Whaley

Professor of Computer Science

Parmly 406
540-460-8813
whaleyt@wlu.edu

Professional Website

Tom Whaley came to Washington and Lee in 1987 having taught at Rhodes College for eleven years and at Central College for six years.

Education

Ph.D., mathematics from Vanderbilt University (1968)
B.S., mathematics from Lincoln Memorial University (1964)

Research

In a previous life, Tom did research in very abstract algebra - lattice theory and universal algebra. More recently, he has published papers on using formal methods to derive programs together with correctness proofs, on binary search trees constructed from postorder sequences. For several years he collaborated with Professor Dymacek of the Mathematics Department and several undergraduate students in applying various computing techniques, including parallel tree pruning algorithms, to explore classifications of Steinhaus graphs.

Current Research:
Over the past few years, Professor Whaley has worked with Professor Settle of the Chemistry Department and with Dr. Elizabeth Blackmer along with several computer science majors to develop the Alsos Digital Library for Nuclear Issues. This project has received two National Science Foundation Grants as part of the National Science Digital Library project.

Teaching

Primary Courses:
Survey of Computer Science, Fundamentals of Programming, Computer Organization, Theory of Computation, Database Management

Other Interests

Professor Whaley plays tennis, enjoys country dancing, especially in the old dance halls of Texas, and plays traditional music on his mandolin.