• Facets (new session)
• Description
• Metadata
• Settings
  • Rule: ActivityStreamsMapasEquivalentb3sb3sifpdbprdf-labelfacetshttp://dbpedia.org/resource/inference/rules/dbpedia#http://dbpedia.org/resource/inference/rules/opencyc#http://dbpedia.org/resource/inference/rules/umbel#http://dbpedia.org/resource/inference/rules/yago#http://dbpedia.org/schema/property_rules#http://www.ontologyportal.org/inference/rules/SUMO#http://www.ontologyportal.org/inference/rules/WordNet#http://www.w3.org/2002/07/owl#ldpoplwebskos-transurn:det:rdf:labelvirtrdf-labelvirtrdf-urlNone
    
  • Inverse Functional Properties: Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects
  • "Same As": Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects (recommended) Apply to subjects, objects and predicates (not recommended on big datasets) Apply to predicates only (special use cases only)

About: Johan Håstad     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatSwedishPeople, within Data Space : dbpedia.org associated with source document(s)

Type: Thingfoaf:Personpersondul:NaturalPersonEukaryoteHomo sapiensHumanAnimalanimaleukaryotescientistspeciesyago:WikicatComputerScientistsschema:Personyago:WikicatLivingPeopleyago:WikicatUppsalaUniversityAlumniyago:WikicatStockholmUniversityAlumniScientistyago:Acquirer109764201yago:Alumnus109786338yago:Associate109816771yago:CausalAgent100007347yago:Colleague109935990yago:ComputerScientist109951070yago:ComputerUser109951274yago:Honoree110183757yago:Intellectual109621545yago:Laureate110249011yago:LivingThing100004258yago:Mathematician110301261yago:Object100002684yago:Organism100004475yago:Participant110401829yago:Peer109626238yago:Person100007846yago:PhysicalEntity100001930yago:Recipient109627906yago:WikicatGödelPrizeLaureatesyago:WikicatInternationalMathematicalOlympiadParticipantsyago:YagoLegalActoryago:YagoLegalActorGeoyago:Scholar110557854yago:Scientist110560637yago:Theorist110706812yago:Whole100003553yago:Wikicat20th-centuryMathematiciansyago:Wikicat21st-centuryMathematiciansyago:WikicatFellowsOfTheAmericanMathematicalSocietyyago:WikicatSwedishComputerScientistsyago:WikicatSwedishInformationTheoristsyago:WikicatSwedishMathematiciansyago:WikicatSwedishPeople New Facet based on Instances of this Class

Johan Torkel Håstad (Swedish pronunciation: [ˈjûːan ˈhǒːsta]; 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 has been a professor in theoretical computer science at KTH Royal Institute of Technology in Stockholm, Sweden since 1988, becoming a full professor in 1992. He is a member of the Royal Swedish Academy of Sciences since 2001.