I'm postdoc at the Operating Systems Group of Prof. Hermann Härtig of the Technische Universität Dresden and leader of the cfaed research group Microkernel-Based Systems for Heterogeneous Architectures. My research interests focus on various aspects of building and verifying microkernel-based systems. Examples include energy awareness, information-flow security and real-time scheduling for mixed-criticality settings. Recently I also had a look into the formal verification of cyber-physical systems. Currently, I'm looking into alternative system designs for highly heterogeneous processor architectures. Our goal is to develop a profound understanding of kernel-less operating systems and of the hardware and software requirements to use these kernels in wildly heterogeneous processor architectures. Two of the building blocks of this work are elastic representations of workloads and the interplay between enlightened runtimes and system-wide schedulers to exploit latent parallelism inside applications.

KeYmaera X is out. Have a look at keymaeraX.org.

Office: Inf 3089
Phone: +49 (0) 351 / 463 - 38350

Mail address:
Technische Universität Dresden
Department of Computer Science
Institute for System Architecture
D-01062 Dresden

Email: voelp@os.inf.tu-dresden.de
Homepage: http://os.inf.tu-dresden.de/~voelp