|
|
Home page of Mads Dam
 |
Mads Dam
Professor, Teleinformatics
Theoretical Computer Science
School of Computer Science and Communication
Lindstedtsvägen 3, level 4
SE-100 44 Stockholm, Sweden |
Information for visitors
Map |
|
|
| I am professor with the theory group at KTH/CSC. I am working on various subjects related to logic, semantics, programming languages, security, and communication networks. I've been with KTH since about 1998. Before then I was at SICS. Even earlier I was postdoc at Dept. of Computer Science, Univ. Edinburgh where I also did my Ph.D, advised by Colin Stirling. |
|
|
