Currently, I am a PhD student at the University of Aachen I interned for six months at Intel Corporation to apply and extend my experience with processor virtualization technologies and OS construction.
From April to June 2004, I worked as a research assistant with the Systems Group at the University of Karlsruhe. Our work on virtual system virtualization for device driver re-use and dependability in operating systems resulted in a publication at OSDI ‘04.
The ERTOS group at UNSW in Sydney had invited me from July 2003 to February 2004 as a visiting research assistant. There, my supervisor Kevin Elphinstone and myself developed a user-level device driver model. We proposed system design solutions for high performance of such drivers in a publication for ACSAC ‘04. Through this continuation of my interests as a student, I acquired a strong background in the construction of complex systems and the related performance and security concerns.
In May 2003, I graduated as Diplominformatiker (M.Sc. equiv.) in Karlsruhe. My long affiliation with the Systems Group during my studies allowed me invaluable insights to systems research. Among other projects, I participated in the design and implementation of a multi-server operating system on top of the L4 micro-kernel. In 2000, I had already been involved in similar work with the SawMill Linux at the IBM T.J. Watson Research Center, New York.