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.
robin, milner, plymouth, enero, 1934, cambridge, marzo, 2010, prominente, científico, británico, informática, información, personalnombre, nacimientoarthur, john, robin, gorell, milnernacimiento13, enero, 1934inglaterra, inglaterra, plymouthfallecimiento20, ma. Robin Milner Plymouth 13 de enero de 1934 Cambridge 20 de marzo de 2010 1 Prominente cientifico britanico en Informatica Robin MilnerInformacion personalNombre de nacimientoArthur John Robin Gorell MilnerNacimiento13 de enero de 1934Inglaterra Inglaterra PlymouthFallecimiento20 de marzo de 2010 76 anosInglaterra Inglaterra CambridgeCausa de muerteInfarto agudo de miocardioNacionalidadbritanicoEducacionEducado enEton CollegeKing s CollegeInformacion profesionalOcupacionprofesor investigador informaticoEmpleadorColegio City de la Universidad de LondresUniversidad StanfordUniversidad de EdimburgoUniversidad de SwanseaRama militarEjercito BritanicoMiembro deRoyal SocietyAcademia de Ciencias de FranciaSociedad Real de EdimburgoAssociation for Computing MachineryAcademia Europaea desde 1988 DistincionesPremio Turing en 1991WebSitio webRobin Milner editar datos en Wikidata 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 Computacion de Cambridge hasta su fallecimiento Generalmente se mencionan tres grandes contribuciones de Milner en computacion Desarrollo el sistema LCF que fue una de las primeras herramientas de demostracion automatica de teoremas Desarrollo del lenguaje ML que era el meta lenguaje para escribir estrategias y tacticas en LCF Tambien fue el primer lenguaje en poseer un sistema polimorfico de tipos con inferencia automatizada y manejo de excepciones seguro desde el punto de vista de tipos Desarrollo de un marco teorico para el analisis de sistemas concurrentes el calculo de sistemas comunicantes y su sucesor el calculo pi En 1988 fue nombrado miembro de la Royal Society y en 1991 recibio el Premio Turing de la ACM 2 Fallecio el 20 de marzo de 2010 en Cambridge 3 Referencias Editar Obituario de Robin Milner en ingles en ingles ACM Listado de Premios Turing Archivado el 12 de diciembre de 2009 en Wayback Machine Consultado el 22 de marzo de 2010 Mensaje en Newsgroup informando del fallecimiento de Robin MilnerEnlaces externos EditarCritica de Proof Language and Interaction un libro sobre Ciencias de la Computacion dedicado a Milner que cubre muchas areas de su trabajo Entrevista con Robin Milner Martin Berger septiembre de 2003 Predecesor Fernando J Corbato Premio Turing1991 Sucesor Butler Lampson Datos Q92643 Obtenido de https es wikipedia org w index php title Robin Milner amp oldid 124877538, wikipedia, wiki, leyendo, leer, libro, biblioteca,
