Recent Changes - Search:

FP


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

Recent Changes


edit SideBar

FP /

Functional Programming Research Group at Chalmers

News:

  • 2014-02-01: PhD student position in Functional Programming (application deadline 2014-03-31)
  • 2013-11-01: Ramona Enache starts as PostDoc in the FP group (in the REMU project)
  • 2013-09-12: Talk from our Ericsson colleagues David Engdal and Martin Lundqvist about programming challenges and open research questions in baseband signal processing on the Adapteva platform ( slides, pdf)
  • 2013-09-01: Inari Listenmaa starts as a PhD student in the FP group (working with Koen and Ramona in the REMU project)
  • 2013-08-01: Cezar Ionescu starts as PostDoc in the FP group (working with Patrik in the StrongLib 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, ...)

Members:

Other local FP people

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

Former members

Research Projects

Misc.

Other FP-related research groups / projects

...

Related Companies

Other

Old news

Edit - History - Print - Recent Changes - Search
Page last modified on February 06, 2014, at 10:04 PM