|
|
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. |
|
PhD students:
Former PhD students:
|
Publications
Professional activities:
- RV'11, Nordsec'11, FOVEOOS'11
- POPL'10, RV'10,Nordsec'10
- RV'09, NordSec'09, SecCo'09
- AMAST'08, RV'08, PLAS'08 , WISTP'08, NordSec'08
- The NordSec series
Interests:
|
MSc and BSc students:
Teaching:
Stuff:
|
Projects:
Some past projects:
|
|
