Bianca Lutz is a software architect at Active Group GmbH and works from Berlin. She has many years of experience in application development, the application of formal methods in software engineering, and is a certified expert in requirements engineering.