I live in Gothenburg, Sweden, and love to dance Balboa! If you happen to be visiting the city you are more than welcome to come by and visit our great dance club, West Coast Jitterbugs.
When I'm not dancing I currently work in the Core team at Speeledger where I do backend programming in Java and Scala and frontend programming in React and Next.js.
Before joining Speedledger, I worked in the Quantitative Strategies group at Credit Suisse, mainly working with Haskell and F#, and at the research startup QuivQ, where most of my work was done in Erlang and JS/jQuery.
I have a strong interest in logic and programming languages which led me to get a PhD in Computer Science at Chalmers University of Technology where my research focused on analysis and verification of programs and how they can be combined. You can find my PhD thesis together with some of my other publications below.
You can find some of the talks I have given about my work here:
Department of Computer Science and Engineering
Chalmers University of Technology
12th International Conference on Algebraic Methodology and Software Technology
Springer-Verlag, LNCS 5140, 2008
in honour of Professor Daniele Mundici on occasion of his 60th birthday
Springer-Verlag, LNCS 4460, 2007
Springer-Verlag, LNCS 4279, 2006
Springer-Verlag, LNCS 4246, 2006
Springer-Verlag, LNCS 3702, 2005
Technical Report 42D, ISSN 0346-718X
Department of Computer Science and Engineering
Chalmers University of Technology, 2008
Department of Computer Science and Engineering
Chalmers University of Technology, 2006