Theoretical studies and basic research have become indispensable due
to the rapid technological development in the field of computer
science and the increasing application of information
processing. Therefore an important subject of our group is the
analysis of complex systems by means of formal models. To achieve this
goal we need to deal with correctness of presentation (syntax),
correctness of content (semantics), conformity to specifications
(verification), and efficient implementation (algorithms and complexity).
Our group is also involved in non-formal basic research of computer
science (aims and goals of computer science, links to theory of
cognition, links to philosophy, the problem of software correctness, socionics).
Additonally, the group is engaged in the context of innovative
teaching concepts. The group was active in two projects
in Summer 2013 (german only)
and in one more in
Summer 2014 (german only) supported by the Lehrlabor.