Leslie Valiant

Pour les articles homonymes, voir Valiant.

Leslie Valiant

Leslie Valiant en 2005

Biographie
Naissance	28 mars 1949 (75 ans) Budapest
Nationalités	britannique américaine
Formation	Imperial College London Université de Warwick (doctorat) King's College
Activités	Informaticien, professeur d'université

Autres informations
A travaillé pour	Université Harvard (depuis 1982) Université d'Édimbourg (1976-1982) Université de Leeds (1974-1976) Université Carnegie-Mellon (1973-1974)
Membre de	Royal Society (1991) Académie américaine des sciences (2001) Academia Europaea (2019) Association for the Advancement of Artificial Intelligence Académie américaine des arts et des sciences
Directeur de thèse	Mike Paterson
Site web	people.deas.harvard.edu/~valiant
Distinctions	Prix Turing (2010) Liste détaillée Bourse Guggenheim (1985) Prix O'Reilly open source (1986) Prix Nevanlinna (1986) AAAI Fellow (1992) Prix Knuth (1997) Membre de l'AAAS (2008) Prix EATCS (2008) Prix Turing (2010) ACM Fellow (2012) Membre de l'Académie américaine des arts et des sciences (2022)

modifier - modifier le code - modifier Wikidata

Leslie Gabriel Valiant est un informaticien théorique britannique né le 28 mars 1949 à Budapest.

Biographie

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

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

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 2 juillet 2012, il est devenu docteur honoris causa de l'ENS de Lyon^[3].

Référence

↑ ^{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 3 juillet 2012)

Liens externes

Notices d'autorité :
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- Japon
- CiNii
- Pays-Bas
- Pologne
- Israël
- Catalogne
- Norvège
- Tchéquie
- Corée du Sud
- WorldCat
Ressources relatives à la recherche :
- Digital Bibliography & Library Project
- Google Scholar
- Mathematics Genealogy Project
- Royal Society
- Scopus
ACM Turing Award Goes to Innovator in Machine Learning
Page professionnelle

v · m Lauréats du prix Turing
Alan Perlis (1966) Maurice Wilkes (1967) Richard Hamming (1968) Marvin Minsky (1969) J.H. Wilkinson (1970) John McCarthy (1971) Edsger Dijkstra (1972) Charles Bachman (1973) Donald Knuth (1974) Allen Newell et Herbert Simon (1975) Michael Rabin et Dana S. Scott (1976) John Backus (1977) Robert Floyd (1978) Kenneth Iverson (1979) Charles A. R. Hoare (1980) Edgar Frank Codd (1981) Stephen Cook (1982) Kenneth Thompson et Dennis Ritchie (1983) Niklaus Wirth (1984) Richard Karp (1985) John Hopcroft et Robert Tarjan (1986) John Cocke (1987) Ivan Sutherland (1988) William Kahan (1989) Fernando Corbató (1990) Robin Milner (1991) Butler Lampson (1992) Juris Hartmanis et Richard Stearns (1993) Edward Feigenbaum et Raj Reddy (1994) Manuel Blum (1995) Amir Pnueli (1996) Douglas Engelbart (1997) James Gray (1998) Frederick Brooks (1999) Andrew Yao (2000) Ole-Johan Dahl et Kristen Nygaard (2001) Ronald Rivest, Adi Shamir et Leonard Adleman (2002) Alan Kay (2003) Vinton G. Cerf et Robert E. Kahn (2004) Peter Naur (2005) Frances Allen (2006) Edmund Clarke, Allen Emerson et Joseph Sifakis (2007) Barbara Liskov (2008) Charles P. Thacker (2009) Leslie Valiant (2010) Judea Pearl (2011) Shafi Goldwasser et Silvio Micali (2012) Leslie Lamport (2013) Michael Stonebraker (2014) Whitfield Diffie et Martin Hellman (2015) Tim Berners-Lee (2016) David Patterson et John Hennessy (2017) Yann Le Cun, Yoshua Bengio et Geoffrey Hinton (2018) Patrick Hanrahan et Edwin Catmull (2019) Alfred Aho et Jeffrey Ullman (2020) Jack Dongarra (2021) Robert Metcalfe (2022) Avi Wigderson (2023)

v · m

Lauréats du prix Turing

Alan Perlis (1966)
Maurice Wilkes (1967)
Richard Hamming (1968)
Marvin Minsky (1969)
J.H. Wilkinson (1970)
John McCarthy (1971)
Edsger Dijkstra (1972)
Charles Bachman (1973)
Donald Knuth (1974)
Allen Newell et Herbert Simon (1975)
Michael Rabin et Dana S. Scott (1976)
John Backus (1977)
Robert Floyd (1978)
Kenneth Iverson (1979)
Charles A. R. Hoare (1980)
Edgar Frank Codd (1981)
Stephen Cook (1982)
Kenneth Thompson et Dennis Ritchie (1983)
Niklaus Wirth (1984)
Richard Karp (1985)
John Hopcroft et Robert Tarjan (1986)
John Cocke (1987)
Ivan Sutherland (1988)
William Kahan (1989)
Fernando Corbató (1990)
Robin Milner (1991)
Butler Lampson (1992)
Juris Hartmanis et Richard Stearns (1993)
Edward Feigenbaum et Raj Reddy (1994)
Manuel Blum (1995)
Amir Pnueli (1996)
Douglas Engelbart (1997)
James Gray (1998)
Frederick Brooks (1999)
Andrew Yao (2000)
Ole-Johan Dahl et Kristen Nygaard (2001)
Ronald Rivest, Adi Shamir et Leonard Adleman (2002)
Alan Kay (2003)
Vinton G. Cerf et Robert E. Kahn (2004)
Peter Naur (2005)
Frances Allen (2006)
Edmund Clarke, Allen Emerson et Joseph Sifakis (2007)
Barbara Liskov (2008)
Charles P. Thacker (2009)
Leslie Valiant (2010)
Judea Pearl (2011)
Shafi Goldwasser et Silvio Micali (2012)
Leslie Lamport (2013)
Michael Stonebraker (2014)
Whitfield Diffie et Martin Hellman (2015)
Tim Berners-Lee (2016)
David Patterson et John Hennessy (2017)
Yann Le Cun, Yoshua Bengio et Geoffrey Hinton (2018)
Patrick Hanrahan et Edwin Catmull (2019)
Alfred Aho et Jeffrey Ullman (2020)
Jack Dongarra (2021)
Robert Metcalfe (2022)
Avi Wigderson (2023)

v · m Lauréats du prix Nevanlinna
Robert Tarjan (1982) Leslie Valiant (1986) Alexandre Razborov (1990) Avi Wigderson (1994) Peter Shor (1998) Madhu Sudan (2002) Jon Kleinberg (2006) Daniel Spielman (2010) Subhash Khot (2014) Constantínos Daskalákis (2018) Mark Braverman (2022)

v · m Lauréats du prix EATCS
Karp (2000) Böhm (2001) Nivat (2002) Rozenberg (2003) Salomaa (2004) Milner (2005) Paterson (2006) Scott (2007) Valiant (2008) Huet (2009) Mehlhorn (2010) Trakhtenbrot (2011) Vardi (2012) Dyer (2013) Plotkin (2014) Papadimitriou (2015) Kozen (2016) Tardos (2017) Nisan (2018) Henzinger (2019) Yannakakis (2020) Pitassi (2021)