cse | FP / Functional Programming Research Group at Chalmers

News:

2012-03-12: Mary Sheeran and John Hughes teach a new course on Parallell Functional Programming
2012-03-01: Johan Jeuring is on sabbatical at Chalmers from March to July 2012.
2012-03-01: Four Assistant Professors in FP: Meng Wang, Jean-Philippe Bernardy, Emil Axelsson and Josef Svenningsson have all been offered positions as Ass. Prof. in Functional Programming. (Funded by a combination of RAWFP and the VR projects of Patrik, Mary and John.)
2012-01-01: Nikita Frolov starts as PhD student in the RAWFP project
2011-11-03: Three new "VR" grants to the FP group: "Strongly Typed Libraries for Programs and Proofs" (Patrik Jansson), "A functional programming approach to hardware acceleration of algorithms" (Mary Sheeran) and "SecOpen: Securing open development platforms" (Alejandro Russo).
2011-10-01: Moa Johansson starts as a new PostDoc, partly funded by a VINNMER Marie Curie International Qualification on "Automated reasoning about recursive programs"
2011-09-19: We are looking for 2 assistant professors to work with us (at least) the next four years
2011-09-01: RAWFP project starts! (5M SEK / year for five years)

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, ...)

Members:

John Hughes, Mary Sheeran, Patrik Jansson, Koen Lindström Claessen, Björn von Sydow, Alejandro Russo
Emil Axelsson, Jean-Philippe Bernardy, Magnus Björk, Moa Johansson, Josef Svenningsson, Meng Wang
Michał Pałka, Nick Smallbone, Joel Svensson, Ann Lillieström, Anders Persson, Cláudio Amaral, Jonas Duregård, Nikita Frolov

Other local FP people

Former members

Lennart Augustsson, Johan Jeuring, Wouter Swierstra, Karol Ostrovsky, Gábor Páli, Niklas Sörensson

Research Projects

Strongly Typed Libraries for Programs and Proofs (Patrik Jansson & Jean-Philippe Bernardy 2012-2014),
A functional programming approach to hardware acceleration of algorithms" (Mary Sheeran, 2012-2014)
SecOpen: Securing open development platforms (Alejandro Russo, 2012-2015)
RAWFP - (RAW)FPworktalks meetings on Thursdays 10-12 (followed by FP-lunch 12-13)
Global Systems Dynamics and Policy, (EU 2010-2013)
"Putting Functional Programming to Work - Software Design and Verification using Domain Specific Languages" (VR 2009-2012)
"Domain Specific Language for Real-Time Embedded Software" - A. Persson at Ericsson (VR 2010-2013)
ProTest - Property-based Testing (EU 2007-2011)
Feldspar - Domain-specific language for digital signal processing
J. Hughes: Language terms as test data for property-based testing (VR 2009-2011)
Not very active at the moment:
- Lava - Hardware description in Haskell
- Wired - Layout- and wire-aware hardware description

...

2011-07-01: Haskell Symposium paper accepted: "Embedded Parser Generators", Jonas Duregård and Patrik Jansson
2011-06-21: ICFP paper accepted: "Incremental Updates for Efficient Bidirectional Transformations", Meng Wang (Chalmers) and Jeremy Gibbons and Nicolas Wu (Oxford)
2011-06-17: The RAWFP project announces a PhD position in Functional Programming with application deadline 2011-09-01
2011-06-16/17: Domain Specific Languages for Economical and Environmental Modelling (DSL4EE) workshop (org. by Jansson)
2011-06-07: Jean-Philippe Bernardy defended his PhD thesis on Parametricity
2011-04-12: RAWFP application granted with 25M SEK (5M SEK / year for five years)
2011-03-01: We welcome Meng Wang (PhD from Oxford, 2011) as a new PostDoc in the FP group!
2010-11-24: RAWFP application submitted to the SSF Software Intensive Systems call
2010-11-08: Application deadline for an FP PostDoc position with John Hughes.
2010-09-16 Welcome back Walid! seminar
2010-09-01: We welcome Alejandro Russo (one of the 10 applicants) as the new Assistant Professor in the FP group!
2010-09-01: Johan Nordlander will come to work half-time in the FP group during the autumn 2010.
2010-08-16: We welcome Jonas Duregård as a new PhD student in the Putting FP to work using DSLs project.