Mes activités de recherche se situent dans le domaine du Génie Logiciel, plus précisément dans les méthodes formelles, les approches object, composants et services. Elles portent sur l'amélioration de la qualité, notamment par la vérification de propriétés, mais aussi sur les méthodes et processus de développement, la transformation automatique de modèles, la rétro-ingénierie, le test...
Le génie logiciel couvre l'outillage méthodologique et technique pour aiser les informaticiens à concevoir des composants logiciels, des services et des applications de qualité. En ce sens l'apport des approches formelles est indiscutable en ce qui concerne à la fois la confiance dans les applications (y compris la documentation) et l'automatisation de la chaîne de production. Notre approche est plus pragmatique que théorique. L'idée n'est pas de définir de nouvelles théories mais de mettre en oeuvre une ingénierie du développement..
La modularité et la composition de parties pour former une architecture sont des éléments fondamentaux pour un développement de qualité (maintenabilité, réutilisabilité, adaptation). [En savoir plus]

Credo : le logiciel ne devrait pas coûter si cher.

Mes activités d'enseignement actuels gravitent autour de trois pôles :

• informatique pour les langues étrangères appliquées au commerce (introduction à l'informatique, bureautique, sites web, bases de données).
• conception de systèmes d'information, génie logiciel, transformation de modèles, méthodes formelles
• programmation à objets

Dans les trois cas, l'objectif est d'apporter de la rigueur (scientifique) dans l'apprentissage. [En savoir plus]