Robert L. Constable
रॉबर्ट ली कॉन्स्टेबल (जन्म 1942) एक अमेरिकी कंप्यूटर वैज्ञानिक हैं। वे कंप्यूटर विज्ञान के प्रोफेसर हैं और कॉर्नेल विश्वविद्यालय में कम्प्यूटिंग और सूचना विज्ञान संकाय के पहले और पूर्व डीन हैं। उन्हें कंप्यूटर प्रोग्राम और गणितीय प्रमाणों, विशेष रूप से न्यूप्रल प्रणाली को जोड़ने पर उनके काम के लिए जाना जाता है। नुप्रल से पहले, उन्होंने पी. एल./सी. वी. औपचारिक प्रणाली और सत्यापन पर काम किया। अलोंजो चर्च रॉबर्ट के जूनियर थीसिस की देखरेख कर रहा था जब वह प्रिंसटन में पढ़ रहे थे। सिपाही ने 1968 में स्टीफन क्लेन के अधीन अपनी पीएचडी प्राप्त की और एडमंड एम. क्लार्क, रॉबर्ट हार्पर, कर्ट मेहलहॉर्न, स्टीवन मचनिक, पावेल नौमोव और रयान स्टैन्सिफर सहित 40 से अधिक छात्रों की देखरेख की है। वे एसोसिएशन फॉर कम्प्यूटिंग मशीनरी के सदस्य हैं। सिपाही मार्कटोबरडॉर्फ समर स्कूल के निदेशक रहे हैं। चयनित प्रकाशन आर. एल. कांस्टेबल और एम. जे. ओ 'डोनेल। ए प्रोग्रामिंग लॉजिक, विन्थ्रॉप, कैम्ब्रिज, 1978। आर. एल. सिपाही, एस. डी. जॉनसन और सी. डी. आइचेनलॉब। पी. एल./सी. वी. 2 प्रोग्रामिंग लॉजिक का परिचय। कंप्यूटर विज्ञान में व्याख्यान टिप्पणियों में 135, स्प्रिंगर-वेरलैग, 1982 पी. आर. एल. समूह। न्यूप्रल प्रूफ डेवलपमेंट सिस्टम के साथ गणित को लागू करना। प्रेंटिस-हॉल, एंगेलवुड क्लिफ्स, एनजे, 1986। संदर्भ बाहरी लिंक मुख पृष्ठ कम्प्यूटिंग और सूचना विज्ञान विभाग, कॉर्नेल विश्वविद्यालय जीवित लोग जन्म स्थान लापता (जीवित लोग) विस्कॉन्सिन विश्वविद्यालय-मैडिसन पूर्व छात्र कॉर्नेल विश्वविद्यालय संकाय अमेरिकी कंप्यूटर वैज्ञानिक एसोसिएशन फॉर कंप्यूटिंग मशीनरी के अध्येता 1942 जन्म