Name:Daniel Dietsch

Country:Germany

Affiliation:Qt Group

Research interests:formal methods, requirements engineering, static analysis, program analysis, software model checking, software engineering