I received my M.Sc. degree (computer science with focus on formal methods) at The Royal Institute of Technology (KTH) in 2007. I immediately started my graduate studies and in March 2013 I successfully defended my Ph.D. thesis. 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.
From May 2010 to August 2012 I was an active member of the StackOverflow community. Since then I'm only monitoring my inbox and occationally asking questions of my own.
I got tierd of keeping the links up to date, so I decided to mirror the articles.