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