跳至內容

羅伯特·科瓦爾斯基

維基百科,自由的百科全書
羅伯特·科瓦爾斯基
出生 (1941-05-15) 1941年5月15日83歲)
美國康乃狄克州布里奇波特
知名於邏輯編程
Prolog語言
霍恩子句
科學生涯
機構愛丁堡大學
帝國理工學院

羅伯特·安東尼·科瓦爾斯基(Robert Anthony Kowalski,1941年5月15 日)是一位美籍英籍邏輯學家計算機科學家,他的研究涉及開發面向人類的計算模型和人類思維的計算模型。他的大部分職業生涯都在英國度過。科瓦爾斯基長期任教愛丁堡大學帝國理工學院,是Prolog語言的主要開發者之一,邏輯編程先驅。

經歷

他曾就讀於芝加哥大學(數學學士學位,1963 年)、史丹佛大學(數學碩士學位,1966 年)、和愛丁堡大學(計算機科學博士學位,1970 年)。