The Richard S. and Ann B. Barshinger Professor of Computer Science Emeritus