FP /


Success stories

  • the influential testing framework QuickCheck
  • the award-winning MiniSat SAT-solver
  • the award winning Paradox model finder
  • part of the development of the programming language Haskell
  • part of the development of functional generic programming

Strengths / expertise

  • functional programming (Haskell, Erlang, ...)
  • domain specific languages (QuickCheck, Lava, Wired, ...)
  • design methods for high-level modelling
  • hardware design
  • generic programming
  • Spec. driven dev. / program dev. with strong invariants (QuickCheck, Agda)
  • formal methods (for software and hardware)
  • automated reasoning (award winning tool Paradox)
  • parallell programming (multi-core)
  • industrial collaboration
    • Intel (Intel Strategic CAD Labs)
    • IBM (IBM Austin)
    • Microsoft (Microsoft Research Cambridge)
    • Ericsson
    • Saab Space
    • Jasper

The group at consists of

  • professor Mary Sheeran (a long-time leader in the area of formal methods for hardware),
  • professor John Hughes (a long-time leading programming language researcher),
  • assoc. prof. Koen Claessen has been the main developer of the award-winning Paradox model finder, and also of the first prototype implementation of Equinox. (PhD: Chalmers, 2001)
  • assoc. prof. Patrik Jansson has worked on theory and applications of Generic Programming since 1995. (PhD: Chalmers, 2000)
  • assoc. prof. Björn von Sydow
  • PostDoc(?) Karol Ostrovský
  • PostDoc(?) Magnus Björk
  • Visiting faculty: Carl Seger and Satnam Singh
  • a number of PhD students
  • Niklas Sörensson has been the main developer of the award-winning MiniSat SAT-solver, and co-developer of Paradox.

(Lösenord för att editera sidan är yraM baklänges.)