Avdelningen för teoretisk datalogi

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.

Nedan kan du läsa om de olika forskningsområdena, informationen finns endast på engelska.

Till sidans topp