Forschungsbereich Eingebettete und Verteilte Systeme

Unser Forschungsbereich besteht aus den drei Arbeitsgruppen „Eingebettete Systeme (EmbSys)“, „Parallele und Verteilte Systeme (PVS)“ sowie „Netzwerke und ihre Sicherheit (NetSec). Wir widmen uns der Sicherheit, Effizienz und Zuverlässigkeit in modernen Netzwerk- und Rechnerumgebungen. Unsere Forschung umfasst ein breites Spektrum von Themen wie z.B. die Qualitätssicherung eingebetteter Systeme, die Sicherheit im Internet, sowie die effiziente Nutzung von verteilten Umgebungen und Hochleistungsrechnern. Wir entwickeln formale Methoden, empirische Analysen und fundierte Methoden des Programmentwurfs und wenden diese in unserer Forschung an.
In der Lehre vertreten wir das gesamte Spektrum der technischen Informatik, von Rechnerstrukturen über Betriebssysteme bis hin zu Netzwerken und Sicherheit. Wir bieten außerdem fortgeschrittenere Vorlesungen und Seminare aus unserem Forschungsbereich an.