Startseite
Eingerichtet im Jahre 1972, geführt von 2002 in zweiter Generation bis Ende September 2023 und seit Oktober 2023 nunmehr in dritter Generation beschäftigt sich der Lehrstuhl für Informatik 4 mit grundlegenden Fragestellungen zu Komplexen eben jener Systemsoftware, die Programme oder Anwendungen unterstützt und die Programmierung oder Bedienung von Rechensystemen erleichtert, die Ausführung von Programmen überwacht und steuert, Rechensysteme in einer bestimmten Art und Weise zuverlässig und effizient betreibt und mit all diesen Merkmalen eine abstrakte Maschine implementiert — einer Softwareschicht, gemeinhin bezeichnet als Betriebssystem beziehungsweise Middleware. In dem Sinne sind Lehre und Forschung am Lehrstuhl ausgerichtet allgemein auf eine in raum-, zeit- und energetischer Hinsicht ressourcenbewusste Systemprogrammierung für stationäre, mobile, eingebettete und zentralisierte oder verteilte Systeme, deren einzelne Knoten typischerweise parallele Rechensysteme in Form mehr- oder vielkerniger Prozessoren bilden können.Vorträge
| Datum | Titel | Vortragende[r] |
|---|---|---|
| 2026-09-08 | MA-Vortrag: Automated Synthesis and Integration of Assertions to Secure Compartment Boundaries | Jalal Uddin |
