|
|
Home page of Mads Dam
 |
Mads Dam
Assoc. Professor, Computer Systems
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 associate 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. |
|
PhD students:
Former PhD students:
Masters students:
|
Publications
Professional activities:
- POPL'10
- RV'09, NordSec'09, SecCo'09
- AMAST'08, RV'08, PLAS'08 , WISTP'08, NordSec'08
- Nordsec'07, IFIP SEC'07,
ESOP'07
, SECRYPT'07, REM'07
- The NordSec series
Interests:
|
Projects:
Some past projects:
Teaching:
|
|
