Since 2001, I have been with Kestrel Institute as a lead architect and project manager on various industry and government-funded projects in the area of formal approaches for software development, software synthesis, security protocol derivation, network embedded wireless sensor networks, and dynamic architectures. Since recently, I am the principal invistigator (PI) and lead architect of the NASA-funded project "Model-centric, Safety-Critical Java for Exploration" , which aims at promoting the use of Java in a model-based environment for Exploration missions at NASA. I am also lead architect and -developer for the Protocol Derivation Assistant (Pda) , a support tool for the incremental development of distributed protocols (e.g. security protocols, web-services etc.) based on well-founded mathematical approaches. Furthermore, I am a key developer for Specware a higher-order specification and implementation language based on the "correct-by-construction" approach to software development. Before I joined Kestrel, I worked for the German National Institute for Computer Science (GMD, now integrated into "Fraunhofer Gesellschaft"), at the Institute for Computer architecture and software engineering (FIRST ) in Berlin. There, I worked on safety-critical system design using Abstract State Machines (ASM) and developed the ASM language Xasm , which is refered to in academic literature as "Anlauff's eXtensible Abstract State Machines". Xasm also forms the basis for the Gem-Mex support system that I wrote for Montages , a semi-visual language for expressing domain-specific language semantics. I am also co-founder of the A4M Applied Formal Methods Ltd. , a Swiss technology startup based on the Montages concepts. Here I served as director and CTO for a couple of years prior to my move to the U.S. My postdoc stay at the International Computer Science Institute (ICSI ) in Berkeley was the reason I decided to return to the San Francicso Bay Area, which is the (nearly) perfect place to live and to work. Prior to that I could gather some teaching experience at the Technical University Berlin , where I also wrote my Ph.D. thesis about "Machine support for formal proof languages" in the context of the European ESPRIT project "ToolUse". I studied computer science at the University of Karlsruhe , hosting one of the most prestigious computer science departments in Germany and Europe. I was born, grew up, and went to school in Simmern /Hunsrück , a picturesque rural area enclosed by the rivers Rhine and Mosel.