Leslie Valiente
Leslie Gabriel Valiant (nacida el 28 de marzo de 1949 en Budapest , Hungría ) es una científica informática británica y ganadora del Premio Turing .
Estudio e investigación
Valiant estudió en la Universidad de Cambridge ( King's College ), el Imperial College de Londres y la Universidad de Warwick , donde recibió su doctorado en ciencias de la computación con Michael Paterson en 1974 ( Procedimientos de decisión para familias de autómatas de empuje deterministas ). Luego fue a la Universidad Carnegie Mellon , la Universidad de Leeds y la Universidad de Edimburgo . Desde 1982 enseñó en la Universidad de Harvard , donde actualmente es profesor T. Jefferson Coolidge de Informática y Matemática Aplicada.
Valiant estaba particularmente preocupado por la teoría de la complejidad (introducida por Sharp-P 1979), la teoría del aprendizaje computacional (introducción del modelo PAC de aprendizaje automático: aprendizaje probablemente aproximadamente correcto ), computación paralela, computación neuronal, modelos de evolución e inteligencia artificial . Se le ocurrió el concepto de algoritmos holográficos.
En 1985, él y Vijay Vazirani demostraron un resultado importante de la teoría de la complejidad (teorema de Valiant-Vazirani) de que si UNIQUE- SAT está en P , las clases de complejidad NP y RP (polinomio aleatorio) son idénticas.
Mark Jerrum es uno de sus estudiantes de doctorado .
Premios
En 1986 recibió el Premio Nevanlinna , el Premio Knuth de Ciencias de la Computación en 1997 , el Premio EATCS en 2008 y el Premio Turing en 2010 . Es Fellow de la Royal Society , miembro de la Academia Nacional de Ciencias y miembro de la Academia Europaea desde 2019 . En 1983 fue invitado como ponente en el Congreso Internacional de Matemáticos en Varsovia ( Un enfoque algebraico de la complejidad computacional ).
Fuentes
- Circuitos de la mente . Prensa de la Universidad de Oxford, 1994, 2000
Evidencia individual
- ↑ Valiant: The Complexity of Computing the Permanente, Theoretical Computer Science, Volume 8, 1979, pp. 189-201
- ^ Valiente, Vazirani NP es tan fácil como detectar soluciones únicas , Actas del decimoséptimo simposio anual de ACM sobre Teoría de la Computación, 1985, pp. 458-463.
enlaces web
- Página de inicio en Harvard (inglés)
- Vídeos de Leslie Valiant en el portal AV de la Biblioteca de información técnica
| información personal | |
|---|---|
| APELLIDO | Valiente, Leslie |
| NOMBRES ALTERNATIVOS | Valiente, Leslie G.; Valiant, Leslie Gabriel (nombre completo) |
| BREVE DESCRIPCIÓN | Científico informático británico |
| FECHA DE NACIMIENTO | 28 de marzo de 1949 |
| LUGAR DE NACIMIENTO | Budapest , Hungría |