FP /

Functional Programming Research Group at Chalmers

There is now a new FP group page.

Old news:

  • 2016-10-01: Three new student research assistants (amanuens) start in the GRACeFUL project: Sólrún Einarsdóttir, Oskar Abrahamsson, Björn Norgren.
  • 2016-09-16: From 2017 the FP research group will become a division. The process for appointing a new head of division is ongoing.
  • 2016-06-01: Maximilian Algehed starts as a Student research assistant (amanuens) in the GRACeFUL project

Success stories and expertise

  • the influential testing framework QuickCheck (for Haskell and Erlang)
  • the award-winning MiniSat SAT-solver
  • the award winning Paradox model finder
  • the programming language Haskell (part of the language development, compilation, libraries, tools)
  • development of generic functional programming (polytypic programming)
  • domain specific languages (Lava, Wired, QuickCheck, Feldspar, ...)


Other local FP people

  • Aarne Ranta (Prof.), Ulf Norell, Nils Anders Danielsson

Former members

Research Projects


Other FP-related research groups / projects


Related Companies


Old news