Interests / Intérêts

• Software engineering / Génie logiciel
• Formal methods / Méthodes formelles
• Empirical software engineering / Génie logiciel empirique
• Software design / Conception de logiciels
• Software analysis / Analyse de logiciels
• Model-driven engineering / Ingénierie dirigée par les modèles
• Software product lines / Lignes de produits logiciels

Current research directions/ Directions de recherche actuelles

• Management of Design Uncertainty / Gestion de l’incertitude de conception ([1],[2],[3])
• Product Lines with Design Choices / Lignes de produits avec des choix de conception ([1])
• Lifting of Model Transformations / Élévation des transformations de modèles ([1], [2])
• Developer Conversations about Design / Conversations entre développeurs sur la conception ([1],[2],[3])
• Consensus-based Software Development / Développement de logiciel basé sur le consensus ([1])