In parallel I have spent a few years building a multi-disciplinary
community and research agenda
called "Global Systems
Science" together with researchers in economics, climate change,
risk&resiliance, etc. (in addition to computer science and
mathematics).

Do you want to study computer science here? Applications to our
MSc
programmes are welcome yearly Nov. to mid Jan. For European students, applications for Erasmus exchange is
possible throughout the academic year. (See
here for details.)

Already studying here? The FP group is looking for good MSc
students interested in doing MSc thesis projects (some
project ideas).

I've been involved in Chalmers eScience Initiative (one of Chalmers' applications for strategic research areas 2009) which later turned into the Chalmers eScience Center.

I started out (in 1995) with
Polytypic Programming
[På svenska].
I have also worked with functional programming; specifically
"Functional Generic Programming - where type theory
meets functional programming"
(polytypism,
Generic Haskell, ...).
I have also worked in the Cover project --- Combining
verifiaction methods for software development (Haskell + QuickCheck +
FOL + Agda).
I have written a
compiler
for the language extension
PolyP
(Haskell
extended with
polytypic
functions).

Ulf Norell (PhD
2007) - then PostDoc in the Computing Science division at Chalmers,
now at U. of Gothenburg and at Quviq.

Pedagogical work

I'm looking for good MSc students interested in doing a MSc thesis
project (some
project ideas) with me as supervisor or examiner.
(Prerequisites include a strong background in Functional Programming.)