Leslie Valiant: diferència entre les revisions

Contingut suprimit Contingut afegit
m Suprimida Categoria:Premis usant HotCat
Robot catalanitza noms i paràmetres de plantilles
Línia 1:
{{Traducció|es|Leslie Valiant}}
 
{{Infotaula científic
{{Infobox scientist
| name nom= Leslie Valiant
| birth_name nom_naixement= Leslie Gabriel Valiant
| image imatge= Leslie Valiant.jpg
| image_size imatge_amplada= 225px
| caption llegenda= Leslie Valiant el 2005 (foto de l'MFO)
| birth_date data_naixement= {{birthdata datenaixement andi ageedat|1949|03|28|df=y}}
|lloc_naixement=
| birth_place =
|data_mort=
| death_date =
|lloc_mort=
| death_place =
| nationality nacionalitat= [[Britànica]]
| fields camp= [[Matemàtiques]]<br />[[Informàtica]]
| workplaces institucions_treb= {{Plainlist|
* [[Harvard University]]
* [[University of Edinburgh]]}}
| alma_mater = {{Plainlist|
* [[University of Cambridge]]
* [[Imperial College London]]
* [[University of Warwick]]}}
| doctoral_advisor assessor_doctor= [[Mike Paterson]]<ref name="mathgene">{{MathGenealogy|id= 18757}}</ref>
| doctoral_students estudiants_doctor= {{Plainlist|
* [[Mark Jerrum]]
* Michael Kearns
* Dan Roth
* Rocco Servedio<ref name="mathgene"/>}}
| known_for conegut_per= [[Teorema de Valiant–Vazirani]]<ref>{{citar ref| doi|10.1016/0304-3975(86)90135-0|noedit}}</ref>
| awards premis= {{Plainlist|
* [[Premi Turing|Premi ACM Turing Award]] (2010)
* [[Premi EATCS]] (2008)
Línia 33:
* [[Premi Nevanlinna]] (1986)
* [[Fellow of the Royal Society|FRS]] (1991)}}
| thesis_title tesi= Decision Procedures for Families of Deterministic Pushdown Automata
| thesis_url tesi_url= http://wrap.warwick.ac.uk/34701/
| thesis_year = 1974
}}