My research interests are in the areas of formal methods, automated verification and software engineering. I believe that the interplay among these research areas is one of the keys to have successful and impactful research. Software engineering concerns the systematic application of engineering approaches to the development of software. As such it should rely on rigorous mathematically founded techniques. Formal methods are mathematical approaches to software and system development that support the rigorous specification, design, and verification of computer systems. As such they should consider realistic software engineering assumptions. For this reason, I support cross-disciplinary research and collaborations among research fields and groups.

Having a close collaboration with industry allows the definition of research problems (and assumptions) of practical relevance and enables a realistic and credible evaluation of the research. Furthermore, collaboration with industry highlights the limitations of current research solutions and leads to new research challenges. For this reason, I support cross-cutting research that serves as a bridge between basic and applied research, and foster the development of innovative systems. To this end, I worked in close collaboration with industrial partners that allowed me to align my research with realistic assumptions. I had worked in collaboration with robotic companies, BOSCH in Germany, and PAL Robotics in Spain; an aerospace company, LuxSpace in Luxembourg; and one tool vendor for the aerospace and defense sectors, QRA Corp in Canada.