I live in the Gothenburg area, Sweden, and love to dance Balboa! If you happen to visit Gothenburg you are more than welcome to come and visit our great dance club, West Coast Jitterbugs.
I am passionate about software development and how best to use it to generate business value. This includes everything from what frameworks and programming languages to use to technical principles and coding guidelines to workplace culture and building effective developer teams.
I currently work at Barium as the Chief Architect responsible for our strategic use of techncology, including the development of our next generation platform implemented in Kotlin, TypeScript and React. Before joining Barium, I worked in the Quantitative Strategies group at Credit Suisse, mainly using Haskell and F#, at SpeedLedger implementing a SaaS platform using Scala and React, 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 and completed a PhD in Computer Science at Chalmers University of Technology where my research focused on analysis and verification of programs and how these techniques 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