Leslie Valiant: diferència entre les revisions
Contingut suprimit Contingut afegit
m Corregit: - Machinery|ACM]], al 2010"<ref>Josh + Machinery|ACM]], el 2010"<ref>Josh |
Robot normalitza el nom dels paràmetres de la infotaula |
||
Línia 1:
{{Infotaula científic
| tipus_infotaula = científic
|nom= Leslie Valiant▼
|
|
|imatge_amplada = 225px
|
|data_naixement = {{data naixement i edat|1949|03|28|df=y}}
|lloc_naixement =
|data_defuncio =
|lloc_defuncio =
|nacionalitat = [[Britànica]]
|
|
* [[Harvard University]]
* [[University of Edinburgh]]}}
|alma_mater = {{Plainlist|
* [[University of Cambridge]]
* [[Imperial College London]]
* [[Universitat de Warwick]]}}
|
|
* [[Mark Jerrum]]
* Michael Kearns
* 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)
Linha 31 ⟶ 32:
* [[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/
|
}}
| |||