非常抱歉,
你要访问的页面不存在,
非常抱歉,
你要访问的页面不存在,
非常抱歉,
你要访问的页面不存在,
验证码:
职称:professor
所属学校:Cornell University
所属院系:College of Arts and Sciences
所属专业:Computer Science
联系方式:(607) 255.9204
University of Wisconsin Mathematics, Ph.D. 1968 University of Wisconsin Mathematics, M.A. 1965 Princeton University Mathematics, A.B. 1964 Robert L. Constable heads the Nuprl research group in automated reasoning and software verification, and joined the Cornell faculty in 1968. He has supervised over forty PhD students in computer science, including the very first graduate of the CS department. 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. 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.
1999 - 2009 Dean of the Faculty of Computing and Information Science, Cornell University 1993 - 1999 Chair, Computer Science Department, Cornell University 1978 - Present Professor, Department of Computer Science, Cornell University 1972 - 1978 Associate Professor, Department of Computer Science, Cornell University 1968 - 1972 Assistant Professor, Department of Computer Science, Cornell University 1968 - 1968 Instructor, Department of Computer Science, University of Wisconsin