Leslie Valiant

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Leslie Valiant 2005

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

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 : ses travaux en complexité de l'apprentissage automatique (en particulier l'apprentissage PAC), 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), et en calcul distribué et parallèle.

Distinctions[modifier | modifier le code]

Valiant a reçu le prix Nevanlinna en 1986, le prix Knuth en 1997, le prix de l'European Association for Theoretical Computer Science en 2008 et le prix Turing en 2010. Le 2 juillet 2012, il est devenu docteur honoris causa de l'ENS de Lyon[2].

Référence[modifier | modifier le code]

  1. a et b (en) Leslie Valiant sur le site du Mathematics Genealogy Project
  2. « Cérémonie de Doctorat Honoris causa pour Leslie G. Valiant », ENS de Lyon (consulté le 3 juillet 2012)

Liens externes[modifier | modifier le code]