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

ریاضی‌دان، فیلسوف، مهندس، و دانشمند علوم کامپیوتر بریتانیایی

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

باب کوالسکی
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». در دانشنامهٔ ویکی‌پدیای انگلیسی.