Din sökning gav 3782 resultat.
Filtrera med alternativen nedan.
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.
Ämne:Informatik/Data- och systemvetenskap