روبرت کوالسکی

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو
باب کوالسکی
Robert Kowalski.jpg
زاده ۱۵ مهٔ ۱۹۴۱(۱۹۴۱-خطای عبارت: نویسه نقطه‌گذاری شناخته نشده «۵»-۱۵) ‏(۷۷ سال)
بریجپورت, کنتیکت, ایالات متحده
ملیت بریتانیایی
شهروندی Naturalised British Citizen
محل تحصیل دانشگاه شیکاگو
دانشگاه بریجپورت
دانشگاه استنفورد
دانشگاه ورشو
دانشگاه ادینبورگ
شناخته‌شده برای برنامه‌نویسی منطقی
Event calculus
جایزه‌ها IJCAI Award for Research Excellence (۲۰۱۱)
موقعیت‌های علمی
موضوع‌ها منطق
علوم کامپیوتر
مؤسسه‌ها دانشگاه ادینبورگ
امپریال کالج لندن
پایان‌نامه Studies in the Completeness and Efficiency of Theorem-Proving by Resolution (۱۹۷۰)
استاد راهنما برنارد ملتزر
دانشجوهای دکتری David H. D. Warren
Christopher Hogger
Keith Clark
Marek Sergot
George Pollard
کریستوفر موس
فریبا صدری
کاوه عشقی
Jin-Sang Kim
David Frost
Suryanarayana Sripada
Francis McCabe
فرانسوا تونی
Tze Ho Fung
جرالد وتزل
Jacinto Davila
Christopher Preist
Yongyuth Permpoontanalarp

روبرت کوالسکی یا رابرت کوالسکی (به انگلیسی: Robert Kowalski) با نام کامل روبرت آنتونی باب کوالسکی , منطق دان و دانشمند علوم کامپیوتر است که بیشتر عمر خود را در بریتانیا سپری کرده است.

روبرت بیشتر به دلیل خدماتش به برنامه نویسی منطقی و ابداع هورن کلاز‌ها شناخته می‌شود.

منابع[ویرایش]

مشارکت‌کنندگان ویکی‌پدیا. «Robert Kowalski». در دانشنامهٔ ویکی‌پدیای انگلیسی.