Robin Milner, teljes egészében Arthur John Robin Gorell Milner (született 1934. január 13-án, Yealmpton, Devon, angol - 2010. március 20-án halt meg Cambridge-ben, Cambridgeshire-ben), angol informatikus és az 1991-es AM Turing-díj nyertese. Legmagasabb megtiszteltetés a számítástechnikában, az automatikus tételprogramokat, az ML számítógépes programozási nyelvet és az egyidejűség általános elméletét illetően.
Milner az Eton Főiskolán járt és ösztöndíjat nyert 1952-ben a Cambridge-i Egyetemre, de el kellett halasztania a kurzusát, amíg a Szuezi-csatornán a brit hadsereg királymérnökeivel szolgált a következő két évre. Milner 1954-ben lépett be Cambridge-be, és 1957-ben diplomát szerzett matematikából. 1956 nyarán először számítástechnikának tette ki a programozás rövid tanfolyamának, amelyen az iskola EDSAC számítógépét használja. Ezt követően Milner Londonba költözött, ahol különféle állásokat töltött be, köztük a matematika utáni oktatást a Marylebone Gimnáziumban (1959–60), mielőtt számítógépes programozóvá vált és fordítókat fejlesztett a Ferranti Ltd.-nél (a Ferranti készítette az első kereskedelmi számítógépet, I. Ferranti Mark, 1951-ben.)
1963-ban Milner elhagyta Ferranti egyetemi posztjára a City University University-ben, ahol matematikát tanított a mérnöki hallgatóknak, és megkezdte a mesterséges intelligencia (AI) kutatását és alkalmazását az adatbázisokba. 1968-ban Milner kutatási pozíciót fogadott el a Swanseai Wales Egyetemen, ahol a program ellenőrzésén, az automatikus tételbizonyításon és a szemantikán dolgozott. 1971-ben Milner az Egyesült Államokba ment, hogy együtt dolgozzon John McCarthy-vel a Stanford Egyetem AI laboratóriumában. Milner 1973-ban visszatért Nagy-Britanniába, hogy elfogadja álláshelyét az Edinburgh-i Egyetemen, ahol segített megtervezni az ML („metalanguage”) számítógépes programozási nyelvet, amelyet egy automatikus tételmegoldó megvalósításához fejlesztettek ki. 1995-ben Milner visszatért Cambridge-be az iskola számítógépes laboratóriumának vezetőjeként. 2001-ben vonult vissza.
Milner többek között a Calculus for Communicating Systems (1980), Communication and Concurrency (1989), Communicating and Mobile Systems: The Pi-Calculus (1999) és The Space and Motion of Communicating Agents (2009) szerzője volt. Az Elméleti Számítástechnika, az Elméleti Számítástechnika Kutatási Jegyzetek, A Számítástechnika Formális Aspektusai és a Számítástechnika Matematikai Szerkezete szerkesztőjeként dolgozott, és az Edinburgh-i Királyi Társulat folyóiratának szerkesztõ bizottságában volt: A szakasz, Matematika.
Milner megválasztották a Királyi Társaságba (1988), a Brit Számítógépes Társaságba (1988), az Edinburghi Királyi Társaságba (1993), a Számítástechnikai Gépek Szövetségéhez (1994), a Francia Tudományos Akadémiához (2005) és az Egyesült Államok Nemzetiségéhez. Mérnöki Akadémia (2008). A Turing-díj mellett Milner egy Brit Számítógépes Társaság Műszaki Díját (1987), az Edinburgh-i Királyi Társaság Királyi Aranyéremét (2004) és az Elméleti Számítástechnika Európai Egyesületének kitüntetett eredményeit (2005) kapott.
