Johan Håstad
From Wikipedia, the free encyclopedia
Johan Håstad (born 1960) is a Swedish theoretical computer scientist most famous for his work on computational complexity theory. He was the recipient of the Gödel Prize in 1994 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 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, Hastad proved nearly optimal lower bounds on the necessary size through his Switching Lemma, which became an important technical tool in Boolean function complexity.
