Tammikuussa 2008 TKK:n organisaatiouudistuksen yhteydessä entinen Tietojenkäsittelyteorian laboratorio ja entinen Informaatiotekniikan laboratorio liittyivät yhteen uudeksi Tietojenkäsittelytieteen laitokseksi. Tietoa uudesta laitoksesta ja erityisesti sen ajankohtaisista tapahtumista löytyy uuden laitoksen kotisivulta.

Kuitenkin myös näiden nyt silmäilemiesi sivujen tietojen paikkansapitävyydestä huolehditaan edelleen, ellei jollakin alasivulla sitten nimenomaisesti toisin mainita. Niihin tutkimusryhmiin ja ihmisiin, jotka muodostivat entisen Tietojenkäsittelyteorian laboratorion, viitataan näillä sivuilla yhä usein yksinkertaisesti yhteisnimellä "Tietojenkäsittelyteorian laboratorio".

Tietojenkäsittelyteorian laboratorio oli yksi Teknilliisen korkeakoulun entisen (vuoden 2008 organisaatiouudistusta edeltäneen) Tietotekniikan osaston laboratorioista. Se vastaa tietojenkäsittelyteorian perusopetuksesta. Laboratorion tarjoama tietojenkäsittelyteorian syventävä opetus ja tutkimus on keskittynyt seuraaviin erikoisaloihin: laskennallinen logiikka, laskennan vaativuusteoria, kryptografia ja hajautettu laskenta.

Laboratorio vastaa myös englanninkielisestä Master-ohjelmasta Master's Programme in Foundations of Advanced Computing, joka on suunnattu erityisesti kansainvälisille opiskelijoille.

Tärkeä osuus laboratorion toiminnasta on tietotekniikan jatkokoulutus, jota toteutetaan pääosin Suomen Akatemian ja Tekesin rahoittamissa tutkimusprojekteissa ja HeCSE-tutkijakoulun (Helsinki Graduate School in Computer Science and Engineering) puitteissa.

[Ks. myös Tietojenkäsittelyteorian laboratorion lyhyt esittely]