Software engineer, architect and researcher with over 15 years of experience in mobile, server, virtualization, operating systems, networking, real-time, embedded systems and formal verification. Experience across all stages of the product lifecycle, with a specific interest in rapid prototyping and advanced development. I have a passion for the development of new system software technologies and their application to business challenges.