Research Group
Foundations of Informatics
Prof. Dr. K. Madlener


Focus of Research:

The group treats in research and education foundations of computer science. Abstract models and solution paradigms are examined and developed. Their applicability and their restrictions in the areas of formal and programming languages, logic and program verification, and algebraic specification is examined. Techniques for formal specification, algorithm development, and verification are in the center of research. Furthermore questions of the complexity of algorithms and problems in the aforementioned areas are examined.

Research Projects

RG Foundations of Informatics Department of Informatics Technical University of Kaiserslautern

Last Update: Friday, 28-Sep-07 14:52:20 GMT

Valid XHTML 1.0!