Manfred Broy’s research is in software and systems engineering both in theoretical and practical aspects. This includes system models, specification and refinement of system and software components, specification techniques, development methods and verification. He is leading a research group working in a number of industrial projects that apply mathematically based techniques to combine practical approaches to software engineering with mathematical rigor.