I am currently working at the European Microsoft Innovation Center, where I focus on the verification of system-level software.

I am currently working on the Verisoft Project, which attempts, among other things, to provide a formal correctness proof for Microsoft's Viridian Hypervisor.

I have been a contributor for the the IST Amigo Project.

A list of my publications can be found on the DBLP Bibliography Server.

I am the co-author of "An Introduction to TTCN-3", a textbook for the test scripting language TTCN-3.