He has been working on Xen since 2007, focusing on several different projects, spanning from Qemu to Xen and the Linux kernel. He co-created libxenlight in November 2009 and two years later started with Ian Campbell the Xen port to ARMv7 with virtualization extensions. He currently maintains Xen support in Qemu, libxenlight, and Xen ARM in the Linux kernel. Before joining Citrix he was a researcher at the Institute for Human and Machine Cognition, working on mobile ad hoc networks.