Till innehåll på sidan

Om avdelningen

Inom teoretisk datalogi studeras grunderna för effektiva och korrekta algoritmer, och man söker förstå vilka beräkningsproblem som kan lösas effektivt. Tillämpningar finns bl a inom beräkningsbiologi, kryptografi, språkteknik och komplexa tekniska system.

Det mesta av informationen finns enbart på engelska och kan nås på våra engelska sidor.

Avdelningens engelska webbsida