Welcome to TCS — Theoretical Computer Science

This is the homepage of the Theory group at the School of Computer Science and Communication, Royal Institute of Technology and Nada at Stockholm University.

The mission of the Theory group is to carry the culture of theoretical computer science, and to develop and disseminate new, interesting and useful Theory in Computer Science.

News

• Postdoc in computer and network security
• Sonja Buchegger, currently with Deutsche Telekom Laboratories, to join TCS jan 2010.
• Jakob Nordström, alumnus of TCS, received the Ackermann Award 2009, for his outstanding dissertation in Logic in Computer Science.
• Viggo Kann received the Erik Wellander award for prominent research in the area of preservation of the purity of the language.
• Per Austrin and Gunnar Kreitz won the final of the 9th BME International 24-hour Programming Contest in May 2009.
• We organized the 2009 ACM ICPC world finals at KTH April 18-22 2009.
• New EU project HATS on Highly Adaptable and Trustworthy Software using formal methods starts March 1st 2009. KTH partners are Mads Dam, Dilian Gurov, and Karl Meinke
• Johan Håstad received an Advanced Grant on Approximability and Approximation from ERC
• Jakob Nordström had a co-authored paper accepted to FOCS 2008
• Jakob Nordström and Johan Håstad had a submission accepted to STOC 2008
• Per Austrin won the Machtey Award for best student paper at FOCS 2007
• Our programming contestants, on March 4, 2007, got the three top places (with three three-person teams) in the 24 hour extreme challenge
• Douglas Wikström, Alumnus of TCS, received the Ingvar Carlsson Award 2007
• Mika Cohen had a submission accepted to LICS 2007
• Per Austrin had a submission accepted to STOC 2007
• Jakob Nordström won the Danny Lewin best student paper award at STOC 2006
• Viggo Kann received the Excellence in teaching 2006 award, funded by STINT.
• Our Senior doctoral students presented four papers at ICALP 05

ACM ICPC world finals on April 7, 2005:
The KTH/Theory Group team obtained seventh position (silver medal). Two team members, Gunnar Kreitz and Per Austrin, are students in the Theory Group, as well as the coach Fredrik Niemelä. The third team member, Max Bennedich, is a KTH student in Industrial Management, and the second coach is Mikael Goldmann, Associate Professor in the Theory Group.

Algorithms: From Theory to Applications. A symposium in celebration of Professor Stefan Arnborg's 60th birthday, February 25, 2005.

The Theory group coaches teams successful in competitions!
Press release (Swedish)

One of our members was awarded for writing the best Computer Science Thesis in Sweden the year 2002.

Best Thesis, 2002.

Three of five persons in the code-breaking team winning Singh's prize in the year 2000 have been PhD students in the Theory group (nowadays they have PhD degrees also)

Code-Breaking News