Robins Milners, pilnībā Artūrs Džons Robins Gorels Milners (dzimis 1934. gada 13. janvārī, Yealmpton, Devon, Eng. - miris 2010. gada 20. martā Kembridžā, Kembridžšīrā), angļu datorzinātnieks un 1991. gada AM Turing Award balvas ieguvējs augstākais gods datorzinātnēs par darbu ar automātiskiem teorēmu proversiem, ML datorprogrammēšanas valodu un vispārīgu vienlaicības teoriju.
Milners apmeklēja Etonas koledžu un ieguva stipendiju Kembridžas universitātes apmeklēšanai 1952. gadā, taču kursa darbs viņam bija jāatliek, kamēr nākamos divus gadus viņš kalpoja Suecas kanālā pie Lielbritānijas armijas karaliskajiem inženieriem. Milners iestājās Kembridžā 1954. gadā un 1957. gadā pabeidza matemātikas bakalaura grādu. Pirmoreiz skaitļošanā tika pakļauts 1956. gada vasarā ar īsu programmēšanas kursu, kurā viņš izmantoja skolas EDSAC datoru. Pēc tam Milners pārcēlās uz Londonu, kur strādāja dažādus darbus, tostarp matemātikas pēcnodarbības Marylebone ģimnāzijā (1959–60), pirms viņš kļuva par datorprogrammētāju un izstrādāja kompilatorus Ferranti Ltd. (Ferranti ražoja pirmo komerciālo datoru, Ferranti Marks I, 1951. gadā)
1963. gadā Milners pameta Ferranti akadēmiskajā amatā Londonas City University, kur viņš māca matemātiku inženierzinātņu studentiem un sāka pētījumus par mākslīgo intelektu (AI) un tā pielietojumu datu bāzēs. 1968. gadā Milners pieņēma pētnieka amatu Velsas universitātē Svansijā, kur viņš strādāja pie programmu verifikācijas, automātiskas teorēmu pierādīšanas un semantikas. 1971. gadā Milners devās uz Amerikas Savienotajām Valstīm, lai strādātu ar Džonu Makartiju AI laboratorijā Stenfordas universitātē. Milners atgriezās Lielbritānijā 1973. gadā, lai pieņemtu amatu Edinburgas universitātē, kur viņš palīdzēja izveidot ML (“metalanguage”) - datoru programmēšanas valodu, kas izstrādāta automātiska teorēmu risinātāja ieviešanai. 1995. gadā Milners atgriezās Kembridžā kā skolas datoru laboratorijas vadītājs. Viņš aizgāja pensijā 2001. gadā.
Starp citiem darbiem Milners bija grāmatu “Calculus for Communicating Systems” (1980), “Communication and Concurrency” (1989), “Communicating and Mobile Systems: The Pi-Calculus” (1999) un “The Space and Motion of Communicating Agents” (2009) autors. Viņš kalpoja kā Teorētiskās datorzinātnes, Teorētiskās datorzinātnes izpētes piezīmju, skaitļošanas formālo aspektu un datorzinātnes matemātisko struktūru redaktors, kā arī bija Edinburgas Karaliskās biedrības Proceedings: A sadaļas matemātika redakcijas redakcijā.
Milners tika ievēlēts Karaliskajā biedrībā (1988), Britu datoru sabiedrībā (1988), Edinburgas Karaliskajā biedrībā (1993), Skaitļošanas tehnikas asociācijā (1994), Francijas Zinātņu akadēmijā (2005) un ASV Nacionālajā Inženierzinātņu akadēmija (2008). Papildus Tjūringa balvai Milners saņēma Lielbritānijas Datoru sabiedrības tehnisko balvu (1987), Edinburgas Karaliskās biedrības Karalisko zelta medaļu (2004) un Eiropas Teorētiskās datorzinātnes asociācijas izcilo sasniegumu balvu (2005).
