In January 2008, as a result of TKK's organisational reform, the former TKK Laboratory for Theoretical Computer Science (TCS) joined together with the former TKK Laboratory of Computer and Information Science (CIS), to form the new Department of Information and Computer Science (ICS). For information on the new department and especially on current news and events, please see ICS home page.

However, even the information on the present pages is being kept valid unless explicitly stated otherwise. The research groups and people that constituted the former TCS laboratory are on these pages still often collectively referred to simply as "TCS laboratory".

Laboratory for Theoretical Computer Science (TCS) was one of the laboratories of the former Department of Computer Science and Engineering (which was a faculty-like unit that predated the organisational reform of 2008) at Helsinki University of Technology (TKK). TCS laboratory is responsible for teaching basic theoretical computer science. The Master's level and postgraduate education and research in TCS laboratory focus on the following main areas: computational logic, computational complexity, cryptography, and distributed computation.

TCS laboratory is also offering Master's Programme in Foundations of Advanced Computing for international students.

A major emphasis in TCS laboratory is on postgraduate education in computer science, which is mainly carried out in research projects funded by the Academy of Finland and the Finnish National Technology Agency (Tekes) and in Helsinki Graduate School in Computer Science and Engineering (HeCSE).

[For more details in Finnish, see an introduction to TCS laboratory.]