Organisation and staff

Sten-Åke Tärnlund

visiting teacher at Department of Informatics and Media

Email:
sten-ake.tarnlund[AT-sign]im.uu.se
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.