I received both my M.Sc. (2007) and my Ph.D. (2013) at The Royal Institute of Technology, KTH. My research focused on formal methods in general and runtime monitoring, concurrency, proof carrying code and distributed systems in particular. My publications are listed here.
I'm an active member of the StackOverflow community. I mostly contribute to the Java tag.