He has more than 15 years’ experience in research and teaching. He frequently participates in international research projects, and gives talks at professional events. His main research area is software testing, specializing in model- and code-based test generation. His goal is to produce advanced, but practical testing tools and languages.