Generate a tailored SOP for Dr. Robert Constable. Improve your application with a focused, well-structured draft.
Robert L. Constable is a Professor in the Department of Computer Science at Cornell University, where he has been a faculty member since 1968. He obtained his Ph.D. in Mathematics from Princeton University in 1968, following an A.B. in 1964 and an M.A. in 1965, also from Princeton. Constable has supervised forty PhD students and is renowned for his contribution to automated reasoning and software verification. His work focuses on connecting programs to mathematical proofs and finding new ways to automate the production of reliable software. He has served in various capacities, including as the Dean of the Faculty of Computing and Information Science from 1999 to 2009 and as the Chair of the Computer Science Department from 1993 to 1999. He has also contributed to numerous prestigious journals and has been involved in various advisory committees at prominent institutions such as Columbia University and Princeton University. He is a recipient of several awards including the Herbrand Award in 2014 and was elected as an ACM Fellow in 1994.
Cornell University • Ithaca, NY
Full Professor in the Department of Computer Science.
Cornell University • Ithaca, NY
Associate Professor in the Department of Computer Science.
Cornell University • Ithaca, NY
Assistant Professor in the Department of Computer Science.
University of Wisconsin •
Instructor in the Department of Computer Science.
Department of Computer Science, Cornell University • Ithaca, NY
Chair of the Computer Science Department.
Faculty of Computing and Information Science, Cornell University • Ithaca, NY
Dean of the Faculty.
Department of Architecture