Söder mälarstrand 57b, 6th floor
118 25 Stockholm Google Maps »
What's up?
I successfully defended my Ph.D. thesis in March this year. Recently joined the Langtools team at Oracle.
Curriculum Vitae
My CV is available for download here (last updated August 4, 2013).
Scientific Research
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.
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.
