โรเบิร์ต ลี คอนสเตเบิล (เกิดปี 1942) เป็นนักวิทยาศาสตร์คอมพิวเตอร์ชาวอเมริกัน เขาเป็นศาสตราจารย์ด้านวิทยาศาสตร์คอมพิวเตอร์และคณบดีคนแรกและอดีตคณบดีคณะวิทยาการคำนวณและสารสนเทศศาสตร์แห่งมหาวิทยาลัยคอร์เนลล์ [ ^{2 ] เขา}เป็นที่รู้จักจากผลงานด้านการเชื่อมโยงโปรแกรมคอมพิวเตอร์และการพิสูจน์ทางคณิตศาสตร์โดยเฉพาะ ระบบ Nuprlก่อนหน้า Nuprl เขาทำงานเกี่ยวกับระบบและตัวตรวจสอบPL/CV ^{[ 3 ]}อลอนโซ เชิร์ชเป็นอาจารย์ที่ปรึกษาวิทยานิพนธ์ระดับปริญญาตรีของคอนสเตเบิลขณะที่เขากำลังศึกษาอยู่ที่พรินซ์ตัน [ ^{4 ] คอน} สเตเบิลได้รับปริญญาเอกในปี 1968 ภายใต้การดูแลของสตีเฟน คลีนและได้ดูแลนักศึกษามากกว่า 40 คน^{[ 5 ]}

Constable เป็นผู้อำนวยการของ โรงเรียนภาค ^ฤดูร้อน Marktoberdorf [ ^{6 ]}

• RL Constable และ MJ O'Donnell. ตรรกศาสตร์การเขียนโปรแกรม , Winthrop, Cambridge , 1978.
• RL Constable, SD Johnson และ CD Eichenlaub. บทนำสู่ตรรกะการเขียนโปรแกรม PL/CV2ในLecture Notes in Computer Science 135 , Springer-Verlag , 1982
• กลุ่ม PRL. การนำคณิตศาสตร์ไปใช้ด้วยระบบพัฒนาการพิสูจน์ Nuprl . Prentice-Hall , Engelwood Cliffs, NJ, 1986.

ในปี 1999 มหาวิทยาลัยคอร์เนลได้ก่อตั้งคณะวิทยาการคอมพิวเตอร์และสารสนเทศ หรือ FCIS ขึ้น โดยเป็นหน่วยงานระดับวิทยาลัยที่มีคณบดี แต่ไม่มีโครงสร้างการบริหารแบบวิทยาลัย นักศึกษาและคณาจารย์มีสังกัดอยู่ในวิทยาลัยอื่น ๆ และคณาจารย์จะได้รับการแต่งตั้งร่วมในหลายภาควิชา ตัวอย่างเช่น ในปี 2002 คณาจารย์สาขาวิทยาการคอมพิวเตอร์ถูกจัดให้อยู่ในทั้งคณะวิศวกรรมศาสตร์และ FCIS ^{[ 7 ]} FCIS ใหม่นี้กลายเป็นองค์กรหลักสำหรับโครงการกราฟิกคอมพิวเตอร์ และต่อมาเป็นภาควิชาวิทยาศาสตร์สถิติแห่งใหม่ FCIS เติบโตขึ้นจนมีคณาจารย์ในสังกัดมากกว่า 50 คน โดยแต่ละคนได้รับการแต่งตั้งร่วมในภาควิชาอื่น ๆ ด้วย^{[ 8 ]}ในปี 2020 ด้วยการสนับสนุนทางการเงินจาก Ann S Bowers ทำให้ FCIS กลายมาเป็น Cornell Bowers CIS (วิทยาลัยวิทยาการคอมพิวเตอร์และสารสนเทศ)

FCIS เป็นวิสัยทัศน์ของโรเบิร์ต คอนสเตเบิล เขาคิดว่าทุกส่วนของคอร์เนลล์จะต้องได้รับความช่วยเหลือในการใช้คอมพิวเตอร์ในการวิจัยและการสอนในยุคคอมพิวเตอร์ใหม่นี้ และนั่นจำเป็นต้องยกระดับการใช้คอมพิวเตอร์ให้สูงขึ้น เขาเสนอแนวทางใหม่ที่สร้างสรรค์นี้ ซึ่งเป็น "คณะ" ที่มีโครงสร้างเป็นวิทยาลัย —แต่ไม่ใช่เป็นวิทยาลัยจริงๆ— โดยมีคณบดีเป็นหัวหน้า คอนสเตเบิลทำงานมาหลายปีเพื่อทำให้แนวคิดนี้เป็นจริง เขาเป็นคณบดีผู้ก่อตั้งและดำรงตำแหน่งสองวาระ วาระละห้าปี ในปี 2008 เมื่อเขาก้าวลงจากตำแหน่งประธาน รองอธิการบดีในขณะนั้น บิดดี้ มาร์ติน ได้กล่าวว่าทั้งแนวคิดและการนำไปใช้เป็นผลงานของคอนสเตเบิล^{[ 9 ]}

นวัตกรรมประการที่สองคือภาควิชาวิทยาศาสตร์สารสนเทศที่จะทำงานร่วมกัน ไม่ใช่ขัดแย้งกับวิทยาศาสตร์คอมพิวเตอร์ — โปรดสังเกตว่า IS อยู่ในชื่อ FCIS คอนสเตเบิลได้มอบหมายให้สมาชิกที่เหมาะสมของวิทยาศาสตร์คอมพิวเตอร์รับผิดชอบในการพัฒนาภาควิชาใหม่นี้ตลอดหลายปีที่ผ่านมา ปัจจุบันในปี 2024 ภาควิชา IS เปิดสอนวิชาเอกและวิชาโทในทุกวิทยาลัยระดับปริญญาตรีของคอร์เนลล์ คณาจารย์หลายท่านเป็นอาจารย์ร่วมทั้งในสาขาวิทยาศาสตร์คอมพิวเตอร์และวิทยาศาสตร์สารสนเทศ^{[ 12 ]}

• สมาชิก ACM ประจำปี 1995
• ทุนกูเกนไฮม์ปี 1990-1991
• รางวัล Herbrand สำหรับผลงานอันโดดเด่นด้านการให้เหตุผลอัตโนมัติ ประจำปี 2014 ^{[ 13 ]}

• หน้าหลักของภาควิชาวิทยาการคอมพิวเตอร์และสารสนเทศ มหาวิทยาลัยคอร์เนล
• โรเบิร์ต แอล. คอนสเตเบิลจากโครงการลำดับวงศ์ตระกูลทางคณิตศาสตร์