Avdelningen för teoretisk datalogi

Vid avdelningen för teoretisk datalogi (TCS) studeras grunderna för effektiva
och korrekta algoritmer och programvara. Tillämpningar finns inom
programutvecklingsteknik, datasäkerhet, kryptografi, verifiering och
SAT-lösning, språkteknologi och datadidaktik.

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