Master in Computational and Applied Mathematics
Secure and Reliable Computing
Modern, professional and reliable IT- and communication systems
are constructed using formal logical methods and representations
for modelling problems. The ingredients are a mixture of elements
from computer and network security, cryptography and error-correcting
codes.
This study line will provide the student with both the theory
and the technology - based on mathematically well-founded methods,
tools and techniques - for designing, analyzing, implementing and
validating modern and future safe and secure IT-systems.