Since 2001, Dr. Anlauff has 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, he was the lead architect of many funded projects. He studied computer science at the University of Karlsruhe, hosting one of the most prestigious computer science departments in Germany and Europe. Dr. Anlauff received his Ph.D. degree from Technical University Berlin.