Research

Working Groups

• Modelling Concurrent Systems (Benedikt Bollig, Volker Stolz, Michael Weber, Thomas Noll)
• Runtime Verification (Volker Stolz)
• Functional Programming (Volker Stolz)
• Distributed Haskell (Frank Huch (now at CAU Kiel), Volker Stolz)

Past Projects

• High-Level Parallel Programming and Numerical Application (Thomas Richert)
  • The Pamusk project
  • The Skil project
• Integration of Functional and Logic Programming Languages (Michael Hanus)
  • Michael Hanus' Functional Logic Programming Page
  • A Parallel Implementation of the Functional-Logic Language Babel

Publications