Arbeitsgruppe
Grundlagen der Informatik
Prof. Dr. K. Madlener

Forschung

Forschungsschwerpunkte:

In der Arbeitsgruppe werden in Forschung und Lehre Grundlagen der Informatik behandelt. Hierbei werden abstrakte Modellbildungen und Lösungsparadigmen untersucht und weiterentwickelt, sowie deren Anwendbarkeit und Grenzen im Bereich der formalen Sprachen und Programmiersprachen, der Logik und Programmverifikation und der algebraischen Strukturen untersucht. Dabei stehen Techniken zur formalen Spezifikation, zum Algorithmenentwurf und zur Verifikation im Vordergrund.

Schwerpunkte sind die Entwicklung und Untersuchung von Paradigmen zur Lösung von Problemen aus den genannten Bereichen und Komplexitätsuntersuchungen konkreter Probleme und auf diesen Paradigmen basierenden Algorithmen.

Forschungsprojekte


AG Grundlagen der Informatik FB Informatik TU Kaiserslautern

Last Update: Friday, 28-Sep-07 14:52:20 GMT
strieder@informatik.uni-kl.de

Valid XHTML 1.0!