โรบินมิลเนอร์ในอาเธอร์จอห์นโรบินกอเรลมิลเนอร์ (เกิด 13 ม.ค. 1934, Yealmpton, เดวอน, อังกฤษ - เสียชีวิต 20 มีนาคม 2010, เคมบริดจ์, เคมบริดจ์, เคมบริดจ์), นักวิทยาศาสตร์คอมพิวเตอร์ชาวอังกฤษ เกียรติสูงสุดในวิทยาการคอมพิวเตอร์สำหรับการทำงานกับผู้พิสูจน์ทฤษฎีบทอัตโนมัติภาษาโปรแกรมคอมพิวเตอร์ ML และทฤษฎีทั่วไปของการเกิดพร้อมกัน
มิลเนอร์เข้าเรียนที่วิทยาลัยอีตันและได้รับรางวัลทุนการศึกษาเพื่อเข้าเรียนที่มหาวิทยาลัยเคมบริดจ์ในปี 2495 แต่เขาต้องเลื่อนการทำงานของหลักสูตรในขณะที่เขารับใช้ที่คลองสุเอซกับวิศวกรของกองทัพอังกฤษอีกสองปี Milner เข้า Cambridge ใน 1,954 และจบการศึกษาระดับปริญญาตรีในคณิตศาสตร์ใน 1,957. เขาเป็นครั้งแรกที่สัมผัสกับคอมพิวเตอร์ในฤดูร้อนของ 1,956 กับหลักสูตรระยะสั้นในการเขียนโปรแกรมที่เขาใช้คอมพิวเตอร์ EDSAC ของโรงเรียน. หลังจากนั้นมิลเนอร์ย้ายไปลอนดอนซึ่งเขาทำงานหลายอย่างรวมถึงตำแหน่งหลังการสอนคณิตศาสตร์ที่โรงเรียนมัธยมโบน (1959–60) ก่อนที่เขาจะกลายเป็นนักเขียนโปรแกรมคอมพิวเตอร์และพัฒนาคอมไพเลอร์ที่ Ferranti Ltd. (Ferranti ผลิตคอมพิวเตอร์เชิงพาณิชย์เครื่องแรก Ferranti Mark I ในปี 1951)
ใน 1,963 Milner ซ้าย Ferranti สำหรับตำแหน่งวิชาการที่ City University London ซึ่งเขาสอนคณิตศาสตร์ให้กับนักศึกษาวิศวกรรมและเริ่มวิจัยในปัญญาประดิษฐ์ (AI) และการประยุกต์ใช้กับฐานข้อมูล. ใน 1,968 Milner ยอมรับตำแหน่งงานวิจัยที่ University of Wales, Swansea ซึ่งเขาทำงานในการตรวจสอบโปรแกรมพิสูจน์ทฤษฎีบทอัตโนมัติและความหมาย. ในปี 1971 มิลเนอร์เดินทางไปสหรัฐอเมริกาเพื่อทำงานร่วมกับ John McCarthy ในห้องปฏิบัติการ AI ที่มหาวิทยาลัยสแตนฟอร์ด Milner กลับไปยังสหราชอาณาจักรในปี 1973 เพื่อรับตำแหน่งที่ University of Edinburgh ซึ่งเขาช่วยออกแบบ ML (“ metalanguage”) ซึ่งเป็นภาษาการเขียนโปรแกรมคอมพิวเตอร์ที่พัฒนาขึ้นสำหรับการใช้งานตัวแก้ปัญหาทฤษฎีบทอัตโนมัติ ในปี 1995 Milner กลับไป Cambridge ในฐานะหัวหน้าห้องปฏิบัติการคอมพิวเตอร์ของโรงเรียน เขาเกษียณในปี 2544
มิลเนอร์เป็นผู้เขียนแคลคูลัสเพื่อการสื่อสาร (1980), การสื่อสารและการทำงานพร้อมกัน (1989), ระบบการสื่อสารและโทรศัพท์มือถือ: Pi-แคลคูลัส (1999), พื้นที่และการเคลื่อนไหวของตัวแทนการสื่อสาร (2009) เขาทำหน้าที่เป็นบรรณาธิการสำหรับวิทยาการคอมพิวเตอร์เชิงทฤษฎี, บันทึกการวิจัยในวิทยาการคอมพิวเตอร์เชิงทฤษฎี, รูปแบบเป็นทางการของคอมพิวเตอร์และโครงสร้างคณิตศาสตร์ในวิทยาการคอมพิวเตอร์และเขาอยู่ในคณะบรรณาธิการของการดำเนินการของราชสมาคมแห่งเอดินบะระ: มาตรา A, คณิตศาสตร์
Milner ได้รับเลือกเข้าสู่ Royal Society (1988), British Computer Society (1988), Royal Society แห่ง Edinburgh (1993), Association of Computing Machinery (1994), French Academy of Sciences (2005) และ US National สถาบันวิศวกรรม (2551) นอกจากรางวัลทัวริงแล้วมิลเนอร์ยังได้รับรางวัลสมาคมเทคนิคคอมพิวเตอร์แห่งประเทศอังกฤษ (1987), ราชสมาคมแห่งเอดินเบอระเหรียญทอง (2004) และสมาคมยุโรปสำหรับรางวัลความสำเร็จด้านวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี (2005)
