Robin Milner nhà khoa học máy tính người Anh

Robin Milner, đầy đủ Arthur John Robin Gorell Milner, (sinh ngày 13 tháng 1 năm 1934, Yealmpton, Devon, Eng. Đã chết ngày 20 tháng 3 năm 2010, Cambridge, Cam điềugeshire), nhà khoa học máy tính người Anh và là người chiến thắng Giải thưởng Turing năm 1991, Danh dự cao nhất trong khoa học máy tính, cho công việc của ông với các trình xử lý định lý tự động, ngôn ngữ lập trình máy tính ML và một lý thuyết chung về đồng thời.

Milner theo học tại Eton College và giành được học bổng để theo học Đại học Cambridge vào năm 1952, nhưng anh phải hoãn công việc khóa học của mình trong khi anh phục vụ tại Kênh đào Suez với Kỹ sư Hoàng gia của quân đội Anh trong hai năm tiếp theo. Milner vào Cambridge năm 1954 và tốt nghiệp cử nhân toán học năm 1957. Lần đầu tiên anh tiếp xúc với máy tính vào mùa hè năm 1956 với một khóa học ngắn về lập trình trong đó anh sử dụng máy tính EDSAC của trường. Sau đó, Milner chuyển đến London, nơi anh đảm nhiệm nhiều công việc khác nhau, bao gồm một bài giảng dạy toán tại Trường ngữ pháp Marylebone (1959, 60), trước khi anh trở thành lập trình viên máy tính và phát triển trình biên dịch tại Ferranti Ltd. (Ferranti sản xuất máy tính thương mại đầu tiên, Dấu Ferranti I, năm 1951.)

Năm 1963, Milner rời Ferranti cho một vị trí học tập tại City University London, nơi ông dạy toán cho sinh viên kỹ thuật và bắt đầu nghiên cứu về trí tuệ nhân tạo (AI) và ứng dụng vào cơ sở dữ liệu. Năm 1968 Milner chấp nhận vị trí nghiên cứu tại Đại học Wales, Swansea, nơi ông làm việc về xác minh chương trình, chứng minh định lý tự động và ngữ nghĩa. Năm 1971, Milner đã đến Hoa Kỳ để làm việc với John McCarthy trong phòng thí nghiệm AI tại Đại học Stanford. Milner trở lại Anh vào năm 1973 để chấp nhận một vị trí tại Đại học Edinburgh, nơi ông đã giúp thiết kế ML (Ngôn ngữ kim loại, một ngôn ngữ lập trình máy tính được phát triển để thực hiện một bộ giải định lý tự động. Năm 1995, Milner trở lại Cambridge với tư cách là người đứng đầu phòng thí nghiệm máy tính của trường. Ông đã nghỉ hưu năm 2001.

Trong số các tác phẩm khác, Milner là tác giả của A Compus for Communicating Systems (1980), Communication and concurrency (1989), Communicating and Mobile Systems: The Pi-Compus (1999), và The Space and Motion of Communicating Agents (2009). Ông từng là biên tập viên cho Khoa học máy tính lý thuyết, Ghi chú nghiên cứu về Khoa học máy tính lý thuyết, Các khía cạnh chính thức của máy tính và Cấu trúc toán học trong Khoa học máy tính, và ông là thành viên trong ban biên tập của Kỷ yếu của Hiệp hội Hoàng gia Edinburgh: Phần A, Toán học.

Milner được bầu vào Hiệp hội Hoàng gia (1988), Hiệp hội Máy tính Anh (1988), Hiệp hội Hoàng gia Edinburgh (1993), Hiệp hội Máy móc Máy tính (1994), Viện Hàn lâm Khoa học Pháp (2005) và Quốc gia Hoa Kỳ Học viện Kỹ thuật (2008). Ngoài Giải thưởng Turing, Milner còn nhận được Giải thưởng Kỹ thuật của Hiệp hội Máy tính Anh (1987), Huy chương Vàng Hoàng gia của Hiệp hội Hoàng gia Edinburgh (2004) và Giải thưởng Thành tựu Khoa học Máy tính Lý thuyết Châu Âu (2005).