His interests lie in innovative teaching techniques, curriculum administration, and software engineering. His current research interest is with formal methods, Event-B particularly, and more specifically with the use and diffusion of such techniques among practitioners. At present, he focuses on the problem of validating formal models during their elaboration. He aims to provide tools and methodologies to integrate seamlessly validation into formal environments.