Mads Dam

Mads Dam is senior professor in teleinformatics at the Department of Theoretical Computer Science within the School of Electrical Engineering and Computer Science at KTH Royal Institute of Technology. Prior to KTH he headed the Formal Design Techniques Lab at SICS, the Swedish Institute of Computer Science, between 1994 and 2002.He received his PhD in computer science from University of Edinburgh in 1990 and has an MSc and a BSc in information technology from Aalborg University, Denmark.

Dam's research interests are chiefly in computer security, formal methods, and program logics. In his PhD he pioneered the application of substructural logics such as linear and relevant logics to concurrency. Another major contributions is the foundation of circular proof systems and their application to software verification, manifested in the Erlang interactive verification tool developed in collaboration with Ericsson. Within computer security he has contributed important results in authorisation and authentication, runtime monitoring, information flow analysis,  applications of epistemic logic in computer security, and distributed systems. His current research focuses on the formal modelling and security analysis of low level software systems such as hypervisors and OS kernels, for security and application isolation. A complementary research activity is in hardware security where Dam has contributed new approaches to processor and device security as well as the modelling and analysis of hardware side channels, for instance due to pipelining and speculative execution.

Dam has received awards and grants from a variety of bodies, including the Swedish Foundation for Strategic Research, grants and a fellowship from VR, the Swedish Research Council, and project grants from a variety of sources including Ericsson, Saab, Microsoft Research, US Air Force, and Vinnova, the Swedish Innovation Agency. European project partnerships include HATS, S3MS, VerifiCard, LOMAPS, and UaESMC. Dam has also been instrumental in the founding of several research centres at KTH, including Access, the CASTOR software research centre and, most recently, the CDIS centre for cyber defence and information security.

Short Course List

Parallel and Distributed Computing DD2443, DD3008 for PhD students

Examiner, course responsible for various individual course codes

• At masters level: DD2467
• At PhD level: DD3016, DD3017, DD3018, DD3019,

Degree project examiner DA231X, DA233X, DA221X, DA223X, DA224X, DA222X, DA225X, DA226X

PhD course in theorem proving DD3461