Education
Uppsala University; Stockholm University. Massachusetts Institute of Technology.
engineer mathematician university professor computer scientist
Uppsala University; Stockholm University. Massachusetts Institute of Technology.
He is a professor in theoretical computer science at the Royal Institute of Technology in Stockholm, Sweden since 1992. He received his Bachelor of Surgery in Mathematics at Stockholm University in 1981, his Master of Surgery in Mathematics at Uppsala University in 1984 and his Doctor of Philosophy in Mathematics from Massachusetts Institute of Technology in 1986. 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.
In 2012 he became a fellow of the American Mathematical Society.
Royal Swedish Academy of Sciences. American Mathematical Society]
He is a member of the Royal Swedish Academy of Sciences since 2001.