Yahoo Web Search

Search results

1. en.wikipedia.org › wiki › Robin_MilnerRobin Milner - Wikipedia

   en.wikipedia.org › wiki › Robin_Milner

   • Cached

   Doctoral advisor. None, as Milner never did a PhD [2] Doctoral students. Mads Tofte (1988) Faron Moller. Chris Tofts. Davide Sangiorgi (1993) [3] [4] Arthur John Robin Gorell Milner FRS (13 January 1934 – 20 March 2010) was a British computer scientist, and a Turing Award winner.

2. Images

   • 
   • 
   • 
   • 
   • 

   View all

3. www.britannica.com › biography › Robin-MilnerRobin Milner | British Computer Scientist & Father of MLCC

   www.britannica.com › biography › Robin-Milner

   • Cached

   May 1, 2024 · Robin Milner (born Jan. 13, 1934, Yealmpton, Devon, Eng.—died March 20, 2010, Cambridge, Cambridgeshire) was an English computer scientist and winner of the 1991 A.M. Turing Award, the highest honour in computer science, for his work with automatic theorem provers, the ML computer programming language, and a general theory of concurrency.

   • Author: William L. Hosch

4. en.wikipedia.org › wiki › Calculus_of_communicatingCalculus of communicating systems - Wikipedia

   en.wikipedia.org › wiki › Calculus_of_communicating

   • Cached

   The calculus of communicating systems ( CCS) is a process calculus introduced by Robin Milner around 1980 and the title of a book describing the calculus. Its actions model indivisible communications between exactly two participants. The formal language includes primitives for describing parallel composition, choice between actions and scope ...

5. Videos

   • 

     4:26

     youtube.com

     Turing Award Series | Robin Milner | Episode-27 Tech Research

     Mar 29, 2020

     331 Views

   • 

     1:1:15

     youtube.com

     The work of Robin Milner: Proof, language and interaction

     Jun 26, 2013

     1.3K Views

   • 

     1:55

     youtube.com

     Beloved motorsports journalist Robin Miller dies at 71 | Motorsports on NBC

     Aug 25, 2021

     52.3K Views

   View all

6. amturing.acm.org › award_winners › milner_1569367A J Milner - A.M. Turing Award Laureate

   amturing.acm.org › award_winners › milner_1569367

   • Cached

   Robin Milner was a British computer scientist who made significant contributions to logic, programming languages, and concurrency theory. He received the Turing Award for his work on LCF, ML, CCS, and full abstraction.

7. www.cl.cam.ac.uk › archive › rm135Robin Milner - University of Cambridge

   www.cl.cam.ac.uk › archive › rm135

   • Cached

   Learn about Robin Milner's recent work on computation theory and informatics, including ubiquitous computing and bigraphs. He is a professor at Cambridge and Edinburgh, and a pioneer of the Laboratory for Foundations of Computer Science.

8. People also ask

   Who is Robin Milner?

   • Robin Milner (born Jan. 13, 1934, Yealmpton, Devon, Eng.—died March 20, 2010, Cambridge, Cambridgeshire) English computer scientist and winner of the 1991 A.M. Turing Award, the highest honour in computer science, for his work with automatic theorem provers, the ML computer programming language, and a general theory of concurrency.

   Robin Milner | British Computer Scientist & Father of MLCC

   www.britannica.com/biography/Robin-Milner

   See all results for this question

   What did John Milner do for a living?

   • He is also credited for rediscovering the Hindley–Milner type system . He was made a Fellow of the Royal Society and a Distinguished Fellow of the British Computer Society in 1988. Milner received the ACM Turing Award in 1991. In 1994 he was inducted as a Fellow of the ACM.

   Robin Milner - Wikipedia

   en.wikipedia.org/wiki/Robin_Milner

   See all results for this question

   What happened to John Milner?

   • From 2009, Milner was a Scottish Informatics & Computer Science Alliance Advanced Research Fellow and held (part-time) the Chair of Computer Science at the University of Edinburgh . Milner died of a heart attack on 20 March 2010 in Cambridge.

   Robin Milner - Wikipedia

   en.wikipedia.org/wiki/Robin_Milner

   See all results for this question

   How did John Milner contribute to computer science?

   • Milner is generally regarded as having made three major contributions to computer science. He developed Logic for Computable Functions (LCF), one of the first tools for automated theorem proving. The language he developed for LCF, ML, was the first language with polymorphic type inference and type-safe exception handling.

   Robin Milner - Wikipedia

   en.wikipedia.org/wiki/Robin_Milner

   See all results for this question

9. cacm.acm.org › news › robin-milner-the-elegantRobin Milner: The Elegant Pragmatist – Communications of the ACM

   cacm.acm.org › news › robin-milner-the-elegant

   • Cached

   Jun 1, 2010 · A tribute to the late computer scientist who made ground-breaking contributions to verification, languages, and concurrency. Learn about his life, work, and legacy in this article by Leah Hoffmann.

10. users.sussex.ac.uk › ~mfb21 › interviewsAn Interview with Robin Milner - University of Sussex

    users.sussex.ac.uk › ~mfb21 › interviews

    • Cached

    Sep 9, 2011 · An Interview with Robin Milner. Below you'll find the transcript of an interview with Robin Milner, held in Cambridge on the 3. September 2003. The interview was conducted by Martin Berger. Thanks to Kohei Honda, Keith Clarke, Carla Benjamin and Tony Stockman for their help and suggestions.