MIT / CSAIL / Theory of Computation / Jakob Nordström / Research

Please note that I have left MIT and my webpages here will probably cease to be maintained in a not too distant future. This page is currently just a mirror of I will try to keep the lists below current, but the webpage at KTH Royal Institute of Technology will always be the most up-to-date version.


On this webpage you find my papers, PhD thesis, Master's thesis, slides for some presentations and miscellaneous other stuff.


PhD Thesis

Jakob Nordström. Short Proofs May Be Spacious: Understanding Space in Resolution. PhD thesis, Royal Institute of Technology, Stockholm, Sweden, May 2008. Received the Ackermann Award 2009 for outstanding dissertations in Logic in Computer Science from the European Association for Computer Science Logic. PDF PS

Master's Thesis

Jakob Nordström. Stålmarck's Method Versus Resolution: A Comparative Theoretical Study. Master's thesis TRITA-NA-E0184, Stockholm University, Stockholm, Sweden, 2001. PDF PS

Some Presentations


Last updated: June 30, 2013.