FP /
Description
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.)