Robert Constable

Professor Constable stepped down as the Dean of the Faculty of Computing and Information Science at Cornell University, serving from 1999 - 2009. CIS is a college-level unit created to advance Cornell’s academic and research initiative in computing and information science. Professor Constable was formerly chairman of Cornell’s Computer Science Department for six years.

He is known for his work connecting programs and mathematical proofs, which has led to new ways of automating the production of reliable software. He has written three books on this topic as well as numerous research articles. Professor Constable is a graduate of Princeton University where he worked with Alonzo Church, one of the pioneers of computer science.

Areas of Interest: Formal Digital Libraries (FDL) Project; Logic of Events; Knowledge-Based Adaptive Distributed Systems; Models for Concurrency