Leslie Valiant: diferència entre les revisions

Contingut suprimit Contingut afegit
Cap resum de modificació
Cap resum de modificació
Línia 11:
| death_date =
| death_place =
| nationality = [[BritànicBritànica]]
| fields = [[Matemàtiques]]<br />[[Informàtica]]
| workplaces = {{Plainlist|
Línia 26:
* Dan Roth
* Rocco Servedio<ref name="mathgene"/>}}
| known_for = [[Teorema de Valiant–Vazirani]]<ref>{{citecitar ref| doi|10.1016/0304-3975(86)90135-0|noedit}}</ref>
| awards = {{Plainlist|
* [[TuringPremi AwardTuring|Premi ACM Turing Award]] (2010)
* [[EATCSPremi AwardEATCS]] (2008)
* [[KnuthPremi PrizeKnuth]] (1997)
* [[NevanlinnaPremi PrizeNevanlinna]] (1986)
* [[Fellow of the Royal Society|FRS]] (1991)}}
| thesis_title = Decision Procedures for Families of Deterministic Pushdown Automata