Loading AI tools
Johan Torkel Håstad, född 19 november 1960, är en svensk matematiker, forskare och professor inom teoretisk datalogi.
Håstad visade redan som gymnasist prov på matematisk talang genom goda resultat i matematikolympiaden, där han är en av endast sju svenskar som fått en guldmedalj.[1] Håstad studerade inledningsvis vid Stockholms universitet där han 1981 tog högskoleexamen i matematik, och därefter en licentiatexamen i matematik vid Uppsala universitet 1984. 1986 blev han Ph.D. i matematik vid Massachusetts Institute of Technology på en avhandling[2] om "Computational limitations of small-depth circuits". Han stannade där som postdok till 1987, och anställdes 1988 som högskolelektor och antogs som docent i datalogi vid Kungliga Tekniska högskolan. År 1992 utnämndes han till professor i teoretisk datalogi.[3]
Hans forskningsområde är teoretisk datalogi, bland annat komplexitetsteori och kryptografi. Inom det senare området är han bland annat känd för Håstads attack.
Håstad invaldes 2001 som ledamot av Kungliga Vetenskapsakademien, i klassen för matematik. Han tilldelades Gödelpriset både 1994 och 2011.[4]
Utmärkelser
- 1994 – Gödelpriset[4][5] för "the first non-trivial bounds for unbounded fan-in circuit depth that are asymptotically optimal for any function in NP - Almost optimal lower bounds for small depth circuits, Advances in Computing Research 5 (1989), 143-170
- 2011 – Gödelpriset[6][7] för "a landmark paper in computational complexity - Some optimal inapproximability results, Journal of the ACM, 48: 798--859, 2001"
- 2018 – Knuth-priset för "en serie omvälvande bidrag bland annat till områdena kryptering, optimering, parallella beräkningar och komplexitetsteori"[8]
Källor
Externa länkar
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
