Leslie Gabriel Valiant FRS [4] [5] (nacido el 28 de marzo de 1949) es un científico informático y teórico computacional británico [6] estadounidense . [7] [8] Actualmente es profesor T. Jefferson Coolidge de Ciencias de la Computación y Matemáticas Aplicadas en la Universidad de Harvard . [9] [10] [11] [12] Valiant fue galardonado con el Premio Turing en 2010, habiendo sido descrito por la ACMcomo una figura heroica en la informática teórica y un modelo a seguir por su valentía y creatividad al abordar algunos de los problemas más profundos sin resolver de la ciencia; en particular por su "sorprendente combinación de profundidad y amplitud". [6]
Leslie Valiente FRS | |
---|---|
Nació | Leslie Gabriel Valiente 28 de marzo de 1949 |
Nacionalidad | Reino Unido |
alma mater | |
Conocido por | |
Premios |
|
Carrera científica | |
Campos | Matemáticas Informática teórica Teoría del aprendizaje computacional Neurociencia teórica |
Instituciones | |
Tesis | Procedimientos de decisión para familias de autómatas de empuje deterministas (1974) |
Asesor de doctorado | Mike Paterson [3] |
Estudiantes de doctorado | |
Sitio web | gente |
Educación
Valiant fue educado en King's College, Cambridge , [13] [6] Imperial College London , [13] [6] y en la Universidad de Warwick, donde recibió un doctorado en ciencias de la computación en 1974. [14] [3]
Investigación y carrera
Valiant es mundialmente conocido por su trabajo en informática teórica . Entre sus muchas contribuciones a la teoría de la complejidad , introdujo la noción de # P-completitud ("nitidez-P completitud") para explicar por qué los problemas de enumeración y confiabilidad son insolubles. También introdujo el modelo "probablemente aproximadamente correcto" ( PAC ) de aprendizaje automático que ha ayudado a crecer el campo de la teoría del aprendizaje computacional y el concepto de algoritmos holográficos . En sistemas informáticos, es más conocido por introducir el modelo de procesamiento paralelo síncrono masivo . Su trabajo anterior en la teoría de autómatas incluye un algoritmo para el análisis sintáctico sin contexto , que es (a partir de 2010) todavía el asintóticamente más rápido conocido. También trabaja en neurociencia computacional enfocándose en comprender la memoria y el aprendizaje.
El libro de Valiant de 2013 es probablemente aproximadamente correcto: algoritmos de la naturaleza para aprender y prosperar en un mundo complejo . [15] En él argumenta, entre otras cosas, que la biología evolutiva no explica la velocidad a la que ocurre la evolución, escribiendo, por ejemplo, "La evidencia de que el esquema general de Darwin para la evolución es esencialmente correcto es convincente para la gran mayoría de los biólogos Este autor ha visitado suficientes museos de historia natural como para convencerse. Todo esto, sin embargo, no significa que la teoría actual de la evolución sea suficientemente explicativa. En la actualidad, la teoría de la evolución no puede ofrecer una explicación de la velocidad a la que la evolución progresa a desarrollar mecanismos complejos o mantenerlos en entornos cambiantes ".
Valiant comenzó a enseñar en la Universidad de Harvard en 1982 y actualmente es profesor T. Jefferson Coolidge de Ciencias de la Computación y Matemáticas Aplicadas en la Escuela de Ingeniería y Ciencias Aplicadas de Harvard . Antes de 1982 enseñó en la Universidad Carnegie Mellon , la Universidad de Leeds y la Universidad de Edimburgo .
Premios y honores
Valiant recibió el Premio Nevanlinna en 1986, el Premio Knuth en 1997, el Premio EATCS en 2008, [16] y el Premio Turing en 2010. [17] [18] Fue elegido miembro de la Royal Society (FRS) en 1991 , [4] miembro de la Asociación para el Avance de la Inteligencia artificial (AAAI) en 1992 , [19] y miembro de la Academia Nacional de Ciencias de Estados Unidos en 2001 . [20] La nominación de Valiant para la Royal Society dice:
Valiant ha contribuido de manera decisiva al crecimiento de casi todas las ramas de la informática teórica. Su trabajo se ocupa principalmente de cuantificar matemáticamente los costos de recursos para resolver problemas en una computadora. En sus primeros trabajos (1975) encontró el algoritmo asintóticamente más rápido conocido por reconocer lenguajes libres de contexto. Al mismo tiempo, fue pionero en el uso de las propiedades de comunicación de los gráficos para analizar cálculos. En 1977 definió la noción de # P-completitud ("sharp-P") y estableció su utilidad para clasificar los problemas de conteo o enumeración de acuerdo con la tractabilidad computacional. La primera aplicación fue para contar coincidencias (la función permanente de la matriz). En 1984, Valiant introdujo una definición de aprendizaje inductivo que concilia por primera vez la viabilidad computacional con la aplicabilidad a clases no triviales de reglas lógicas que deben aprenderse. * Más recientemente ha ideado un esquema para el enrutamiento eficiente de las comunicaciones en un sistema multiprocesador. Mostró que los gastos generales involucrados incluso en una red dispersa no necesitan crecer con el tamaño del sistema. Esto establece, desde un punto de vista teórico, la posibilidad de computadores paralelos eficientes de propósito general. [5]
La cita para su premio AM Turing dice:
Por contribuciones transformadoras a la teoría de la computación, incluida la teoría del aprendizaje probablemente aproximadamente correcto (PAC), la complejidad de la enumeración y del cálculo algebraico, y la teoría de la computación paralela y distribuida. [6]
Vida personal
Sus dos hijos Gregory Valiant [21] y Paul Valiant [22] son científicos informáticos teóricos, como profesores de la Universidad de Stanford y la Universidad de Brown, respectivamente. [8]
Ver también
- VinFuture
Referencias
- ^ Valiente, L .; Vazirani, V. (1986). "NP es tan fácil como detectar soluciones únicas" (PDF) . Informática Teórica . 47 : 85–93. doi : 10.1016 / 0304-3975 (86) 90135-0 .
- ^ Valiente, LG (1979). "La complejidad de problemas de enumeración y fiabilidad". Revista SIAM de Computación . 8 (3): 410–421. doi : 10.1137 / 0208032 .
- ^ a b c Leslie Valiant en el Proyecto de genealogía de matemáticas
- ^ a b "Leslie Valiant FRS" . Londres: Royal Society . 1991.
- ^ a b Presentación del catálogo de DServe Archive
- ^ a b c d e "Leslie G. Valiant - Premio AM Turing Laureate" . Premio AM Turing . Consultado el 9 de enero de 2019 .
- ^ Hoffmann, L. (2011). "Preguntas y respuestas: Leslie Valiant analiza el aprendizaje automático, la computación paralela y la neurociencia computacional" . Comunicaciones de la ACM . 54 (6): 128. doi : 10.1145 / 1953122.1953152 .
- ^ a b Anon (2017). "Valiente, Prof. Leslie Gabriel" . Quién es quién . ukwhoswho.com ( edición en línea de Oxford University Press ). A & C Black, una impresión de Bloomsbury Publishing plc. doi : 10.1093 / ww / 9780199540884.013.U40928 . (se requiere suscripción o membresía a una biblioteca pública del Reino Unido ) (se requiere suscripción)
- ^ Página de perfil de autor de Leslie Valiant en laBiblioteca digital de ACM
- ^ Wigderson, A. (2009). "El trabajo de Leslie Valiant". Actas del 41º simposio anual de ACM sobre el Simposio sobre teoría de la computación - STOC '09 . págs. 1-2. doi : 10.1145 / 1536414.1536415 . ISBN 9781605585062. S2CID 15370663 .
- ^ Leslie G. Valiant en elservidor de bibliografía DBLP
- ^ Valiente, Leslie (1984). "Una teoría de lo aprendible" (PDF) . Comunicaciones de la ACM . 27 (11): 1134-1142. doi : 10.1145 / 1968.1972 . S2CID 12837541 .
- ^ a b "CV de Leslie G. Valiant" (PDF) . Universidad de Harvard . Consultado el 9 de enero de 2019 .
- ^ Valiente, Leslie (1973). Procedimientos de decisión para familias de autómatas pushdown deterministas . warwick.ac.uk (tesis doctoral). Universidad de Warwick. OCLC 726087468 . EThOS uk.bl.ethos.475930 .
- ^ Libros básicos, ISBN 9780465032716
- ^ David Peleg El premio EATCS 2008 - Laudatio para el profesor Leslie Valiant Asociación europea de informática teórica.
- ^ Josh Fishman "Inventor 'probablemente aproximadamente correcto', de la Universidad de Harvard, gana el premio Turing" Crónica de la educación superior 9 de marzo de 2011.
- ^ El premio ACM Turing es para el innovador en aprendizaje automático Noticias de informática de ACM
- ^ Elegido Asociación de becarios AAAI para el avance de la inteligencia artificial.
- ^ Directorio de miembros: Academia Nacional de Ciencias Leslie G. Valiant .
- ^ Página de inicio de Gregory Valiant
- ^ Página de inicio de Paul Valiant
enlaces externos
Este artículo incorpora texto disponible bajo la licencia CC BY 4.0 .