I'm a principal architect and
researcher in the Protocol Engineering Team at Microsoft, Server Tools and
Business. Our mission at PE is to create tools and engineering methods that
enable software engineers to build, test, and maintain interoperable products
from Microsoft Technical Documentation. We are applying modeling, model-based
testing, and other advanced technologies to achieve this goal.
An overview over my teams
activity in the documentation space is found here; an
invited talk I gave at the MBT 20008
workshop at ETAPS is found here.
Before I joined Protocol
Engineering, I worked for six years at Microsoft Research, developing MBT technology
and the Spec Explorer family of MBT tools. Spec Explorer has moved together
with me from Microsoft Research to Windows, where it is successfully productized
and maintained.
Spec Explorer 2007, the
newest version, is embedded in Visual Studio and supports multiple modeling
notations, symbolic state, and model composition. See "Multi-Paradigmatic
Model-Based Testing", an invited contribution to FATES'06, in my publication list. The older version of Spec
Explorer, now called Spec Explorer 2004, can be downloaded from here.
Spec Explorer 2007 is based
on XRT, a mixed concrete/symbolic state exploration
engine and software model-checker for .NET CIL code, the development of which
occupied some of my time in 2005.
Before I came to Microsoft and MSR, I worked for a decade at the Technical University of Berlin in a
series of research projects with various industry partners. My
"historical" background ranges over compiler construction, functional
and logic languages, constraint resolution and high-level execution techniques,
program analysis, specification languages and methodologies, and tool integration.
Above of that, I've been primarily an eager software developer and system
architect.
In previous lives, I authored
three comprehensive language implementations, all of which are alive today: the
OPAL compilation system (work from the beginning of the
nineties), the ZETA
tool environment (end of the nineties), and the AsmL/Spec# system (work at Microsoft Research).