Recent Changes - Search:


The Chalmers FP wiki is part of the CSE dept. wiki.

Recent Changes

edit SideBar

FP /

Functional Programming Research Group at Chalmers


  • 2016-06-01: Maximilian Algehed starts as a Student research assistant (amanuens) in the GRACeFUL project
  • 2015-08-01: Irene Lobo Valbuena starts as a PhD student working in the GRACeFUL project with Patrik Jansson
  • 2015-03-16: New MSc Thesis page
  • 2014-12-01: Alex Gerdes and Tobias Gedell join the PROWESS project for half a year.
  • 2014-10-01: Irene Lobo Valbuena and Simon Pfreundschuh start as "Amanuens" at 20% each on the "Implementation of finite element exterior calculus in a functional programming language" (functional-feec) project.
  • 2014-09-01/2014-11-15: Benjamin Pierce is at Chalmers as "Jubilee professor".
  • 2014-08-31/2014-09-06: ICFP 2014 in Gothenburg
  • 2014-07-01: Markus Aronsson starts as ProjAss in the RAWFP project. Will be PhD student with Mary from 2014-10-01

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

Edit - History - Print - Recent Changes - Search
Page last modified on August 29, 2016, at 07:57 AM