| dbpprop:abstract
|
- Leslie Gabriel Valiant is a British computer scientist and computational theorist. He was educated at King's College, Cambridge, Imperial College London, and University of Warwick where he received his Ph.D. in computer science in 1974. He started teaching at Harvard University in 1982 and is currently the T. Jefferson Coolidge Professor of Computer Science and Applied Mathematics in the Harvard School of Engineering and Applied Sciences. Prior to 1982 he taught at Carnegie Mellon University, Leeds University, and the University of Edinburgh. Valiant is world-renowned for his work in theoretical computer science. Among his many contributions to complexity theory, he introduced the notion of #P-completeness to explain why enumeration and reliability problems are intractable. He also introduced the "probably approximately correct" model of machine learning that has helped the field of computational learning theory grow, and the concept of holographic algorithms. He also works in computational neuroscience focusing on understanding memory and learning. He received the Nevanlinna Prize in 1986, the Knuth Prize in 1997, and the EATCS Award in 2008. He is a Fellow of the Royal Society (London), a Fellow of the American Association for Artificial Intelligence, and a member of the National Academy of Sciences (USA). One of his significant research papers was proving, along with Vijay Vazirani, UNIQUE-SAT ∈ P → NP = RP.
- Leslie Gabriel Valiant es un informático teórico británico. Educado en el King's College, Cambridge, Imperial College London y la Universidad de Warwick donde recibió su Ph.D. en ciencias de computación en 1974. Comenzó dictando clases en la Universidad de Harvard en 1982 y actualmente es un T. Jefferson Coolidge Professor de Ciencias de Computación y Matemáticas Aplicadas en el Harvard School of Engineering and Applied Sciences. Antes de 1982 enseñó además en la Universidad Carnegie Mellon, en la Universidad de Leeds, y en la Universidad de Edimburgo. Valiant es reconocido mundialmente por su trabajo en ciencias de la computación. Entre sus principales contribuciones a la complejidad computacional, se encuentra su introducción de la notación de Numeral-P-completo para explicar por qué los problemas de enumeración son intratables. También introdujo el modelo de machine learning PAC, que ayudó al desarrollo de esta teoría, y el concepto de algoritmos holográficos. Leslie Valiant también trabaja en neurociencia computacional, particularmente en la comprensión de la memoria y el aprendizaje. Recibió el Premio Nevanlinna en 1986, el Premio Knuth en 1997, y el premio otorgado por la EATCS en 2008. Es miembro de la Royal Society de Londres, de la American Association for Artificial Intelligence, y de la Academia Nacional de Ciencias de Estados Unidos. Uno de sus artículos más significativos, escrito junto con Vijay Vazirani, demuestra que si UNIQUE-SAT ∈ P, entonces se cumple que NP = RP.
|
![[RDF Data]](/statics/sw-cube.png)
