Leslie Valiant: diferència entre les revisions

Contingut suprimit Contingut afegit
m Bot elimina espais sobrants
Línia 1:
{{Infotaula persona
| nom_naixement = Leslie Gabriel Valiant
| nacionalitat = [[Britànica]]
| ocupacio = [[Matemàtiques]]<br />[[Informàtica]]
| organitzacio = {{Plainlist|
* [[Harvard University]]
* [[University of Edinburgh]]}}
| alma_mater = {{Plainlist|
* [[University of Cambridge]]
* [[Imperial College London]]
* [[Universitat de Warwick]]}}
| direccio_tesi = [[Mike Paterson]]<ref name="mathgene">{{MathGenealogy|id= 18757}}</ref>
| estudiants_doctorals = {{Plainlist|
* [[Mark Jerrum]]
Línia 16:
* Dan Roth
* Rocco Servedio<ref name="mathgene"/>}}
| conegut_per = [[Teorema de Valiant–Vazirani]]<ref>{{citar ref| títol=NP is as easy as detecting unique solutions|nom=Leslie| cognom=Valiant | nom2= V.V. | cognom2=Vazirani| doi=10.1016/0304-3975(86)90135-0|noedit}}</ref>
| premis = {{Plainlist|
* [[Premi Turing|Premi ACM Turing Award]] (2010)
* [[Premi EATCS]] (2008)
Línia 23:
* [[Premi Nevanlinna]] (1986)
* [[Fellow of the Royal Society|FRS]] (1991)}}
| tesi = Decision Procedures for Families of Deterministic Pushdown Automata
| tesi_url = http://wrap.warwick.ac.uk/34701/
| tesi_any = 1974
}}
 
Línia 53:
{{Commonscat}}
* [http://dblp.uni-trier.de/db/indices/a-tree/v/Valiant:Leslie_G=.html DBLP:Leslie G. Valiant].
* [http://people.deas.harvard.edu/~valiant/ Pàgina oficial] (Inclou fotografies).
* [https://www.eatcs.org/activities/leslie_valiant_motivation.html Premi EATCS 2008] {{Webarchive|url=https://web.archive.org/web/20080704120553/http://www.eatcs.org/activities/leslie_valiant_motivation.html |date=2008-07-04}}.
* [http://www.acm.org/news/featured/turing-award-2010 Premi Turing 2010]