Científico informático

Robin Milner

1934 - 2010

ES.WIKIPEDIA PAGE VIEWS (PV)

Photo of Robin Milner

Icon of person Robin Milner

Robin Milner, (Plymouth, 13 de enero de 1934 - Cambridge, 20 de marzo de 2010​). Prominente científico británico en Informática. Graduado en el King's College (Cambridge) en 1957, Milner ha sido profesor en City University, Londres, Swansea University, Universidad de Stanford, Universidad de Edimburgo y desde 1995 como jefe de laboratorio de Computación de Cambridge hasta su fallecimiento. Generalmente se mencionan tres grandes contribuciones de Milner en computación: Desarrolló el sistema LCF que fue una de las primeras herramientas de demostración automática de teoremas Desarrollo del lenguaje ML, que era el meta lenguaje para escribir estrategias y tácticas en LCF. También fue el primer lenguaje en poseer un sistema polimórfico de tipos con inferencia automatizada y manejo de excepciones seguro desde el punto de vista de tipos. Leer más en Wikipedia

Su biografía está disponible en 29 idiomas en Wikipedia (aumentó de 28 en 2024). Robin Milner ocupa el puesto 101 entre los científico informático más populares (bajó del puesto 93 en 2024), el puesto 3096 entre las biografías más populares de Reino Unido (bajó del puesto 2844 en 2019) y el puesto 9 entre los científico informático del reino unido más populares.

Memorability Metrics

Loading...

Page views of Robin Milner by language

Loading...

Among Científico informáticos

Among científico informáticos, Robin Milner ranks 101 out of 245Before him are Stephen Cook, Kathleen Antonelli, Betty Holberton, Judea Pearl, Marlyn Meltzer, and Ed Roberts. After him are Alan Cox, Charles P. Thacker, Eric S. Raymond, Stephen Wolfram, John Draper, and Subhash Kak.

Most Popular Científico Informáticos in Wikipedia

Go to all Rankings

Contemporaries

Among people born in 1934, Robin Milner ranks 284Before him are Fayza Ahmed, Canário, Marisa Allasio, Lester R. Brown, Tonina Torrielli, and Harrison Birtwistle. After him are Ernesto Brambilla, Maurice Godelier, Zlatko Papec, Paolo Sardi, Robert Towne, and Roberto Clemente. Among people deceased in 2010, Robin Milner ranks 220Before him are Sinan Hasani, José Ramos Delgado, Valentina Tolkunova, Marina Semyonova, Ed Roberts, and Kenneth Noland. After him are Vitaly Sevastyanov, Alex Higgins, Laurent Terzieff, Hank Jones, Chushiro Hayashi, and Otmar Suitner.

Others Born in 1934

Go to all Rankings

Others Deceased in 2010

Go to all Rankings

In Reino Unido

Among people born in Reino Unido, Robin Milner ranks 3,097 out of NaNBefore him are John Playfair (1748), Lady Sarah Chatto (1964), Christopher O'Neill (1974), Matthew Locke (1621), Laura Mulvey (1941), and Janet Baker (1933). After him are Ronald Speirs (1920), Philip Stone (1924), Alex Higgins (1949), Thomas Francis Wade (1818), Terry Venables (1943), and Richard Hammond (1969).

Among Científico informáticos In Reino Unido

Among científico informáticos born in Reino Unido, Robin Milner ranks 9Before him are Geoffrey Hinton (1947), Edgar F. Codd (1923), Maurice Wilkes (1913), Paul Graham (1964), James H. Wilkinson (1919), and Martin Fowler (1963). After him are Alan Cox (1968), Stephen Wolfram (1959), Karen Spärck Jones (1935), Demis Hassabis (1976), Kathleen Booth (1922), and David Marr (1945).

العربية中文NederlandsEnglishFrançaisDeutschMagyarItaliano日本語PolskiPortuguêsРусскийEspañol