I'm a PhD student at the Systems Group (or Institute of Computing Platforms) at ETH Zurich where I am working on memory systems in the context of the Barrelfish and Enzian . My work includes device drivers, co-processors, memory management including formal models thereof. My key interest is how to program modern, heterogeneous multiprocessors.