Robert L. Constable heads the Nuprl research group in automated reasoning and software verification, and joined the Cornell faculty in 1968. He is known for his work connecting programs and mathematical proofs, which has led to new ways of automating the production of reliable software. Professor Constable is a graduate of Princeton University where … Continue reading CS External Advisory Board