Robert L. Constable
Dean, Computing and Information Science

Email: rccs.cornell.edu
Research interests: Theory of computing, applied logic, automated reasoning
Office phone: 5-9204
Office room/building: 4149 Upson