CEO / CTO at Functor AB & Researcher at Uppsala University, Sweden
About I am CEO/CTO at Functor AB but also a researcher with two on-going research projects with the Swedish Research Council (VR). The first associated to University of Cambridge (fellowship for two years) and the latter to Uppsala University (Department of Mathematics and and Department of Information Technology). The first project is quite theoretical in its nature. It's aim is to improve our understanding of mixed forms of recursion and corecursion. I am studying in particular the notion of arrows and Freyd categories, but I am also researching Martin-Löf type theory and category theoretic semantics of object calculi. I received my PhD from Stockhom University in the department CSC at KTH Osquar's Backe and have since then had some different research positions and fellowships. My academic background also includes a reasonable amount of teaching, including in advanced functional programming and most recently object-oriented analysis & design. My most recent work is a paper on "Parametric Direcursion" which is as of yet unpublished, and work on "Distributive Laws for Arrows" which aims at parameterising iteration by arrows (joint work in progress, with Marcelo Fiore, Cambridge). Research Interests
Resumé
Publications
|