Forschungsprojekte des Lehrstuhls für Programmiersysteme der Universität Karlsruhe (TH)

Der Lehrstuhl fr Programmiersysteme leistet seitber zehn Jahren international beachtete Forschungsbeitr‰- ge zur Softwaretechnik und zum parallelen Rechnen. Es gehrt zu den Markenzeichen des Lehrstuhles, das Ergebnisse nicht nur theoretisch fundiert sind, sondern auch quantitativ untersucht werden und in ein umfas- sendes Forschungsprogramm eingeordnet sind. Das wird im Bereich des parallelen Rechnens besonders deutlich, wo auf allen Ebenen des Problems (Anwen- dungen, Programmiersprachen, ‹bersetzer, Laufzeitsy- steme, Betriebsysteme, Rechnerarchitekturen) ge- forscht wird. In unserem Bereich Softwaretechnik ist in den letzten Jahren zur Entwicklung neuer Werkzeuge und Methoden der empirische Ansatz zur Validierung von Theorien und Erkundung neuer Ph‰nomene hinzu- gekommen. Es folgt ein ‹berblickber die aktuellen Projekte aus beiden Bereichen. Den Abschlus bildet ein kurzer Blick auf die Erfolge unserer Computerschachgruppe.