I work on scalable operating systems and consult companies on Linux development. Software Reliability Group and Large-Scale Distributed Systems group at Imperial College London. Previously, Darwin at Apple and Linux kernel at Red Hat