Research

Almost all information processing systems are based on imperative or
functional programming languages or deduction systems. Their
development essentially involves results of theoretical computer
science. Whereas the area is covered almost completely for educational
purposes, research concentrates on special subareas.