| dbo:abstract
|
- Johan Torkel Håstad (* 19. November 1960) ist ein schwedischer Informatiker. Hastad erhielt 1977 die Goldmedaille auf der Internationalen Mathematikolympiade. Er studierte Mathematik an der Universität Stockholm (Vordiplom, Högskoleexamen 1981) und der Universität Uppsala, wo er 1984 sein Diplom (Licenciat) in Mathematik erwarb. 1986 wurde er am Massachusetts Institute of Technology bei Shafrira Goldwasser promoviert mit einer Arbeit, die den ACM Doctoral Dissertation Award bekam. Er ist seit 1988 Professor für Informatik an der Königlich Technischen Hochschule in Stockholm (ab 1992 in einer vollen Professur). 2000/2001 war er Mitglied des Institute for Advanced Study. Hastad befasst sich mit Komplexitätstheorie. Insbesondere fand er in seiner Dissertation neue untere Grenzen für die Schaltkreis-Komplexität Boolescher Funktionen. Er beschäftigte sich auch mit Kryptographie und erfand einen Angriff auf das RSA-Kryptosystem. 1989 war er Mitautor der Veröffentlichung des HJLS-Algorithmus zur Berechnung von Ganzzahlbeziehungen zwischen kommensurablen reellen Zahlen. 1994 und 2011 erhielt er den Gödel-Preis, 1999 den Göran Gustafsson Preis in Mathematik und 2018 den Knuth-Preis. 1998 war Håstad Invited Speaker auf dem ICM in Berlin (On approximating NP-hard optimization problems). 2004 hielt er einen der Plenarvorträge auf dem Europäischen Mathematikerkongress (Efficient computational proofs and inapproximability). Seit 2001 ist er Mitglied der Königlich Schwedischen Akademie der Wissenschaften und seit 2007 der Academia Europaea. Er ist Fellow der American Mathematical Society und seit 2018 der Association for Computing Machinery. (de)
- Johan Håstad (*19 de noviembre de 1960) es un informático teórico sueco, conocido principalmente por su trabajo en complejidad computacional. Es profesor de ciencias de la computación en el Instituto Real de Tecnología, en Estocolmo, desde 1992. Además forma parte de la Real Academia de las Ciencias de Suecia desde 2001. Obtuvo su B.S. en matemáticas en la Universidad de Estocolmo en 1981, su Master en matemáticas en la Universidad de Upsala en 1984, y su PhD en matemáticas en el MIT, en 1986. Håstad ha recibido, entre otros premios, el Premio Gödel en 1994 y el Doctoral Dissertation Award otorgado por la ACM en 1986. Entre sus trabajos más destacados están los relacionados con encontrar mayorantes en . (es)
- 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. 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 1994 Gödel Prize 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 circuit complexity with applications to learnability, the IP hierarchy, and proof systems. He also received the 2011 Gödel Prize for his work on optimal inapproximability results. In particular, he improved the PCP theorem (which won the same prize in 2001) to give a probabilistic verifier for NP problems which reads only three bits. Further, he used these results to prove results in hardness of approximation. In 1998 Håstad was an Invited Speaker of the International Congress of Mathematicians in Berlin. In 1999 he was an Erdős Lecturer at the Hebrew University of Jerusalem. In 2012, he became a fellow of the American Mathematical Society. He was elected as an ACM Fellow in 2018 for "contributions in circuit complexity, approximability and inapproximability, and foundations of pseudorandomness". In 2018 he received the Knuth Prize "for his long and sustained record of milestonebreakthroughs at the foundations of computer science, with huge impact onmany areas including optimization, cryptography, parallel computing, and complexity theory." (en)
- Johan Håstad, né en 1960, est un informaticien théorique suédois connu particulièrement pour son travail sur la complexité algorithmique. Il a obtenu deux fois le prix Gödel et une fois le prix Knuth. (fr)
- Johan Torkel Håstad (19 de novembro de 1960) é um informático sueco. (pt)
- 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 sex svenskar som fått en guldmedalj. 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 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. 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 både 1994 och 2011. (sv)
|
| rdfs:comment
|
- Johan Håstad, né en 1960, est un informaticien théorique suédois connu particulièrement pour son travail sur la complexité algorithmique. Il a obtenu deux fois le prix Gödel et une fois le prix Knuth. (fr)
- Johan Torkel Håstad (19 de novembro de 1960) é um informático sueco. (pt)
- Johan Håstad (*19 de noviembre de 1960) es un informático teórico sueco, conocido principalmente por su trabajo en complejidad computacional. Es profesor de ciencias de la computación en el Instituto Real de Tecnología, en Estocolmo, desde 1992. Además forma parte de la Real Academia de las Ciencias de Suecia desde 2001. Obtuvo su B.S. en matemáticas en la Universidad de Estocolmo en 1981, su Master en matemáticas en la Universidad de Upsala en 1984, y su PhD en matemáticas en el MIT, en 1986. Entre sus trabajos más destacados están los relacionados con encontrar mayorantes en . (es)
- Johan Torkel Håstad (* 19. November 1960) ist ein schwedischer Informatiker. Hastad erhielt 1977 die Goldmedaille auf der Internationalen Mathematikolympiade. Er studierte Mathematik an der Universität Stockholm (Vordiplom, Högskoleexamen 1981) und der Universität Uppsala, wo er 1984 sein Diplom (Licenciat) in Mathematik erwarb. 1986 wurde er am Massachusetts Institute of Technology bei Shafrira Goldwasser promoviert mit einer Arbeit, die den ACM Doctoral Dissertation Award bekam. Er ist seit 1988 Professor für Informatik an der Königlich Technischen Hochschule in Stockholm (ab 1992 in einer vollen Professur). 2000/2001 war er Mitglied des Institute for Advanced Study. (de)
- 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. (en)
- 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 sex svenskar som fått en guldmedalj. 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 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 (sv)
|
