羅伯特·科瓦爾斯基
此條目沒有列出任何參考或來源。 (2021年9月14日) |
羅伯特·科瓦爾斯基 | |
---|---|
出生 | 美國康乃狄克州布里奇波特 | 1941年5月15日
知名於 | 邏輯編程 Prolog語言 霍恩子句 |
科學生涯 | |
機構 | 愛丁堡大學 帝國理工學院 |
羅伯特·安東尼·科瓦爾斯基(Robert Anthony Kowalski,1941年5月15 日—)是一位美籍英籍邏輯學家和計算機科學家,他的研究涉及開發面向人類的計算模型和人類思維的計算模型。他的大部分職業生涯都在英國度過。科瓦爾斯基長期任教愛丁堡大學和帝國理工學院,是Prolog語言的主要開發者之一,邏輯編程先驅。
經歷
他曾就讀於芝加哥大學(數學學士學位,1963 年)、史丹佛大學(數學碩士學位,1966 年)、和愛丁堡大學(計算機科學博士學位,1970 年)。