Avdelningen är en av två nya som bildats ur den tidigare avdelningen för datavetenskap, och arbetar inom bland annat typteori, formella bevis, och funktionell programmering.
Sidansvarig Publicerad: må 23 apr 2018. Ändrad: må 17 sep 2018
Var god fyll i ett meddelande
Skicka meddelande