We conduct research on all aspects of high-level programming languages and systems providing for concurrent and symbolic computation. This includes research in functional, logic and constraint programming as well as in automated deduction.
One previous effort was the development of Oz and its implementation Mozart, which combine concurrent and distributed programming with logical constraint-based inference, and its applications to such varied domains as scheduling and time-tabling, placement and configuration, natural language and knowledge representation, multi-agent systems and sophisticated collaborative tools.
Currently, we run projects on a new programming language Alice, on the constraint programming library Gecode, and on constraint-based processing of natural language.