Our research activities are centered around the operating systems: Between a rock and a hard place, operating systems are ocated between the hardware and application. We target general-purpose abstraction that have to cope with tight demands regarding nonfunctional properties, such as noise reduction, timeliness, robustness and hardware resources. We mostly do fundamental research with auxiliary funding provided by the DFG. Our Focus is on constructive methods for the design and development of versatile operating systems (extensions) that assist the application in exploiting the hardware's potential.
Permalink: /p/research