Mads Dam

Senior professor

Kungliga Tekniska Högskolanhttps://www.kth.se/profile/mfd

Works for

Teoretisk datalogi

Telephone

+46 8 790 62 29

Unit address

Lindstedtsvägen 5 Plan 5

E-mail

mfd@kth.se

About me

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, and distributed systems. His current research focuses on the formal modelling and security and side channel analysis of low level software systems such as hypervisors and OS kernels and their underlying hardware, for security and application isolation. 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. He has also been instrumental in the founding several research centres at KTH, including Access, the CASTOR software research centre and, most recently, the CDIS centre for cyber defence and information security.