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