Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Johan_Håstad> ?p ?o. }
Showing items 1 to 64 of
64
with 100 items per page.
- Johan_Håstad abstract "Johan Torkel Håstad (born 19 November 1960) is a Swedish theoretical computer scientist most known for his work on computational complexity theory. He was the recipient of the Gödel Prize in 1994 and 2011 and the ACM Doctoral Dissertation Award in 1986, among other prizes. He is a professor in theoretical computer science at the Royal Institute of Technology in Stockholm, Sweden since 1992. He is a member of the Royal Swedish Academy of Sciences since 2001.He received his B.S. in Mathematics at Stockholm University in 1981, his M.S. in Mathematics at Uppsala University in 1984 and his Ph.D. in Mathematics from MIT in 1986.Håstad's thesis and Gödel Prize (1994) concerned his work on lower bounds on the size of constant-depth Boolean circuits for the parity function. After Andrew Yao proved that such circuits require exponential size, Håstad proved nearly optimal lower bounds on the necessary size through his switching lemma, which became an important technical tool in Boolean function complexity.He received the 2011 Gödel Prize for his work on optimal inapproximability results. In 2012 he became a fellow of the American Mathematical Society.".
- Johan_Håstad birthDate "1960-11-19".
- Johan_Håstad wikiPageID "908634".
- Johan_Håstad wikiPageRevisionID "593944427".
- Johan_Håstad almaMater Massachusetts_Institute_of_Technology.
- Johan_Håstad almaMater Stockholm_University.
- Johan_Håstad almaMater Uppsala_University.
- Johan_Håstad awards Gödel_Prize.
- Johan_Håstad awards International_Mathematical_Olympiad.
- Johan_Håstad awards ACM_Doctoral_Dissertation_Award.
- Johan_Håstad birthDate "1960-11-19".
- Johan_Håstad dateOfBirth "1960-11-19".
- Johan_Håstad doctoralAdvisor Shafi_Goldwasser.
- Johan_Håstad doctoralStudents Viggo_Kann.
- Johan_Håstad fields Computer_science.
- Johan_Håstad lccn "n/85/298565".
- Johan_Håstad name "Hastad, Johan".
- Johan_Håstad name "Johan Håstad".
- Johan_Håstad nationality Sweden.
- Johan_Håstad shortDescription "Swedish computer scientist".
- Johan_Håstad viaf "94133224".
- Johan_Håstad workplaces Royal_Institute_of_Technology.
- Johan_Håstad description "Swedish computer scientist".
- Johan_Håstad subject Category:1960_births.
- Johan_Håstad subject Category:20th-century_mathematicians.
- Johan_Håstad subject Category:21st-century_mathematicians.
- Johan_Håstad subject Category:Fellows_of_the_American_Mathematical_Society.
- Johan_Håstad subject Category:Gödel_Prize_laureates.
- Johan_Håstad subject Category:International_Mathematical_Olympiad_participants.
- Johan_Håstad subject Category:Living_people.
- Johan_Håstad subject Category:Massachusetts_Institute_of_Technology_alumni.
- Johan_Håstad subject Category:Members_of_the_Royal_Swedish_Academy_of_Sciences.
- Johan_Håstad subject Category:Royal_Institute_of_Technology_academics.
- Johan_Håstad subject Category:Stockholm_University_alumni.
- Johan_Håstad subject Category:Swedish_computer_scientists.
- Johan_Håstad subject Category:Swedish_mathematicians.
- Johan_Håstad subject Category:Uppsala_University_alumni.
- Johan_Håstad type Agent.
- Johan_Håstad type Person.
- Johan_Håstad type Scientist.
- Johan_Håstad type Person.
- Johan_Håstad type Q215627.
- Johan_Håstad type Q5.
- Johan_Håstad type Agent.
- Johan_Håstad type NaturalPerson.
- Johan_Håstad type Thing.
- Johan_Håstad type Person.
- Johan_Håstad comment "Johan Torkel Håstad (born 19 November 1960) is a Swedish theoretical computer scientist most known for his work on computational complexity theory. He was the recipient of the Gödel Prize in 1994 and 2011 and the ACM Doctoral Dissertation Award in 1986, among other prizes. He is a professor in theoretical computer science at the Royal Institute of Technology in Stockholm, Sweden since 1992. He is a member of the Royal Swedish Academy of Sciences since 2001.He received his B.S.".
- Johan_Håstad label "Johan Håstad".
- Johan_Håstad label "Johan Håstad".
- Johan_Håstad label "Johan Håstad".
- Johan_Håstad label "Johan Håstad".
- Johan_Håstad label "Johan Håstad".
- Johan_Håstad sameAs Johan_H%C3%A5stad.
- Johan_Håstad sameAs Johan_Håstad.
- Johan_Håstad sameAs Johan_Håstad.
- Johan_Håstad sameAs Johan_Håstad.
- Johan_Håstad sameAs Johan_Håstad.
- Johan_Håstad sameAs Q92756.
- Johan_Håstad sameAs Q92756.
- Johan_Håstad wasDerivedFrom Johan_Håstad?oldid=593944427.
- Johan_Håstad givenName "Johan".
- Johan_Håstad name "Johan Hastad".
- Johan_Håstad surname "Hastad".