I'm a senior development lead for the Windows Driver Quality Tools group. We build tools such as the Static Driver Verifier compile-time verification tool and the classical runtime Driver Verifier. We also provide a number of test technologies such as the Device Fundamental Tests. You can leverage all these technologies to provide high quality Windows drivers. I hold a M.Sc. in Computer Science and have worked extensively on compilers and formal verification. I also co-founded a Danish software technology company that enables companies to provide profitable mass customization through advanced configuration software. In my spare time I enjoy competitive sailboat racing and the occasional cruise in the beautiful Pacific Northwest.