I am professor and head of the TCS department 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.
