KTH / CSC / TCS

Welcome to TCS — Theoretical Computer Science

This is the homepage of the Theory group at the School of Computer Science and Communication, KTH 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 and applications of theory in computer science.

News

Sonja Buchegger has successfully passed her Docent lecture on 7 May 2012.
Douglas Wikström has successfully passed his Docent lecture on 23 April 2012.
Douglas Wikström and our former researcher, Shahram Khazaei, have found major security flaws in commercial electronic voting systems used in the U.S. and Norway. Read more in the official press release.
Fei Niu obtained his Licentiate degree on 7 November 2011.
Tobias Mömke and Ola Svensson received the best paper award of the IEEE Symposium on Foundations of Computer Science (FOCS) 2011.
Muddassar Azam Sindhu obtained his Licentiate degree on 30 September 2011.
Jakob Nordström obtained a Starting Independent Researcher Grant from the European Research Council (ERC). Read more in the official press release.
Johan Håstad won the Gödel Prize for the second time.
Gunnar Kreitz obtained his Doctoral degree on 14 May 2011.
Gunnar Kreitz and Lukáš Poláček participated successfully in the team winning the second place in the 11th BME International 24-hour Programming Contest
Mads Dam and Dilian Gurov obtained a large grant from the Swedish Foundation for Strategic Research (SSF).
Johan Håstad is the new director of the Theory group as of 2011 and Mads Dam is co-director.
Sonja Buchegger obtained a large grant from the Swedish Foundation for Strategic Research (SSF):
More News

Upcoming Seminars and Events

Events

Licentiate Defense of Siavash Soleimanifard
Title: Procedure-Modular Verification of Temporal Safety Properties
Date: 23 May at 13:00
Location: Sal D3, Lindstedtsvägen 5 KTH, Stockholm
more information

Seminars

Seminar on A Dichotomy for Real Weighted Holant Problems by Sangxia Huang
on 22 May 2012 at 12:15 in room 1537
more information
Seminar on Towards a Framework for Conflict Analysis of Normative Texts Written in Controlled Natural Language by Gerardo Schneider
on 24 May 2012 at 10:15 in room 1537
more information
Seminar on On the Combinatorics of Minimally Unsatisfiable Formulas by Jakob Nordström
on 04 Jun 2012 at 12:15 in room 1537
more information

more seminar/events