Sten-Åke Tärnlund

visiting teacher at Department of Informatics and Media

Mobile phone:
+46 73 6775973
Visiting address:
Ekonomikum (plan 3), Kyrkogårdsg. 10
Postal address:
Box 513
751 20 UPPSALA

Short presentation

Sten-Åke Tärnlund: AI and theorem-proving using a proof of P is not equal to NP, Lecture on October 17 2014.

My courses

Biography

Ph.L. Stockholm University. Ph.D. KTH Royal Institute of Technology.

I am a Swedish professor of computing that have worked at Uppsala University, Universidade Nova de Lisboa, IBM Thomas J. Watson Research Center at Yorktown Heights New York, Stockholm University, and KTH Royal Institute of Technology.

My Citations

Publications

Please contact the directory administrator for the organization (department or similar) to correct possible errors in the information.