·Welcome!·
I'm a post-doc at the Operating Systems Research Group at TU Dresden. My interests cover systems security, real-time and virtualization in general and microkernel-based systems in particular. I'm a principal investigator of the L4Re microkernel-based operating system framework.