Contact: Peter Beelen, DTU Mathematics, mail:
Bo Friis Nielsen, DTU Informatics, mail:
Modern pervasive IT-systems need to be constructed using formal models and methods in order to achieve the safety, security and reliability called for. This calls upon ingredients from cryptography, coding theory, models and logics for computation, stochastic processes, and computer and network security.
This focus area will provide the student with both the theory and the technology for designing, analyzing, implementing and validating secure and reliable IT-systems ~V based on mathematically well-founded methods, tools and techniques. It will give the student a unique insight into the emergent trend of designing modern IT-systems using techniques at the borderline of mathematics and computer science.
Recommended courses:
General competence courses:
01415 Computational Discrete Mathematics
02409 Multivariate Statistics
02443 Stochastic simulation
Technological specialization courses:
01400 Error-correcting codes 1
01405 Error-correcting codes 2
01426 Cryptology 2
02407 Stochastic Processes
02246 Process modelling and validation
Elective courses:
01427 Advanced topics in cryptology
02142 Semantics and Inference Systems
34340 Teletraffic Engineering and Network Planning