Pour les articles homonymes, voir Valiant.
| Naissance | |
|---|---|
| Nationalités | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeur de thèse | |
| Site web | |
| Distinctions |
Prix Turing ()👁 Voir et modifier les données sur Wikidata Liste détaillée Bourse Guggenheim () Prix Nevanlinna () Prix O'Reilly open source () AAAI Fellow () Prix Knuth () Membre de l'AAAS () Prix EATCS () Prix Turing () ACM Fellow () Docteur honoris causa de l'École normale supérieure de Lyon () Membre de l'Académie américaine des arts et des sciences ()👁 Voir et modifier les données sur Wikidata |
modifier - modifier le code - modifier Wikidata👁 Documentation du modèle
Leslie Gabriel Valiant est un informaticien théorique britannique né le à Budapest.
Biographie
[modifier | modifier le code]Valiant fait ses études supérieures au King's College de Cambridge et à l'Imperial College de Londres. À l'université de Warwick, il obtient un doctorat en informatique théorique en 1974 en soutenant une thèse sur les procédures de décision pour des familles d'automates à pile déterministes (Decision Procedures for Families of Deterministic Pushdown Automata) sous la direction de Mike Paterson[1]. Il travaille aux universités de Leeds, d'Édimbourg et Carnegie-Mellon. Depuis 1982, Valiant enseigne à l'université Harvard. Il est le titulaire de la chaire Thomas Jefferson Coolidge en informatique théorique et mathématiques appliquées de la faculté d'ingéniérie et de sciences appliquées (Harvard School of Engineering and Applied Sciences).
Il a été le directeur de thèse de Mark Jerrum[1], lauréat du prix Gödel.
Travaux
[modifier | modifier le code]Les apports de Valiant à l'informatique théorique sont nombreux. Il est notamment connu pour ses travaux autour de l'apprentissage automatique, en particulier l'apprentissage PAC, et en théorie de la complexité avec l'introdution de la classe #P, le théorème de Vazirani-Valiant (en) et les algorithmes holographiques (en). Il a aussi étudié le calcul distribué et parallèle, où il a créé le modèle Bulk Synchronous Parallel (en).
Distinctions
[modifier | modifier le code]Valiant a reçu le prix Nevanlinna en 1986[2], le prix Knuth en 1997, le prix EATCS en 2008 et le prix Turing en 2010. Le , il est devenu docteur honoris causa de l'ENS de Lyon[3].
Référence
[modifier | modifier le code]- ↑ a et b (en) « Leslie Valiant », sur le site du Mathematics Genealogy Project
- ↑ « Nevanlinna Prize : Leslie Valiant », sur Union mathématique internationale.
- ↑ « Cérémonie de Doctorat Honoris causa pour Leslie G. Valiant », ENS de Lyon (consulté le )
Liens externes
[modifier | modifier le code]- Site officiel👁 Voir et modifier les données sur Wikidata
- Ressources relatives à la recherche👁 Voir et modifier les données sur Wikidata
: - Ressource relative à la musique👁 Voir et modifier les données sur Wikidata
: - Notices dans des dictionnaires ou encyclopédies généralistes👁 Voir et modifier les données sur Wikidata
: - ACM Turing Award Goes to Innovator in Machine Learning
- Page professionnelle
Lauréats du prix Nevanlinna |
|
|---|---|
|
Lauréats du prix EATCS |
|
|---|---|
|
- Naissance en mars 1949
- Naissance à Budapest
- Personnalité britannique de l'informatique
- Professeur à l'université Harvard
- Étudiant de l'Imperial College London
- Étudiant de l'université de Warwick
- Lauréat du prix Turing
- Membre de la Royal Society
- Membre de l'Académie nationale des sciences
- Membre de l'Academia Europaea
- Lauréat du prix Nevanlinna
- Lauréat du prix Knuth
- Docteur honoris causa
- Lauréat du prix EATCS
- Boursier Guggenheim
- Membre de l'Association for the Advancement of Artificial Intelligence
- Docteur honoris causa de l'université de Leeds
- Page utilisant P569
- Page utilisant P19
- Page utilisant P27
- Page utilisant P69
- Page utilisant P106
- Page utilisant P108
- Page utilisant P463
- Page utilisant P184
- Page utilisant P856
- Page utilisant P166
- Article utilisant l'infobox Biographie2 avec la charte par défaut
- Article utilisant l'infobox Biographie2
- Article utilisant une Infobox
- Article contenant un appel à traduction en anglais
- Page utilisant P2456
- Page utilisant P1960
- Page utilisant P549
- Page utilisant P2070
- Page utilisant P1153
- Page pointant vers des bases externes
- Page pointant vers des bases relatives à la recherche
- Page utilisant P434
- Page pointant vers des bases relatives à la musique
- Page utilisant P1417
- Page utilisant P7982
- Page utilisant P3219
- Page pointant vers des dictionnaires ou encyclopédies généralistes
- Article de Wikipédia avec notice d'autorité
- Portail:Informatique théorique/Articles liés
- Portail:Informatique/Articles liés
- Portail:Mathématiques/Articles liés
- Portail:Sciences/Articles liés
- Portail:Royaume-Uni/Articles liés
- Portail:Europe/Articles liés
- Wikipédia:Article biographique
- Portail:Biographie/Articles liés/Sciences
- Portail:Biographie/Articles liés/Culture et arts
