Le professeur Bochmann a été chercheur principal dans le cadre d'un projet de 6,3 millions de dollars financé par la Fondation canadienne pour l'innovation lié à SAVANT (Software Engineering and Visualization for Applications in the Next-Generation Internet). Le projet SAVANT porte surtout sur les applications et les systèmes d'Internet, deux des secteurs du monde de l'information qui évoluent le plus rapidement. La recherche menée dans le cadre de SAVANT, qui s'applique directement à la nouvelle société de l'information, devrait grandement améliorer notre qualité de vie.

Les activités de recherche du professeur Bochmann misent, en grande partie, sur la collaboration avec le secteur privé. En ce sens, le professeur Bochmann a géré plusieurs contrats de recherche en accord avec d'importantes sociétés de télécommunications et d'informatique canadiennes, entre autres Nortel, IBM, Hewlett-Packard, Teleglobe, DMR et EICON Technologies. Il a également chapeauté plusieurs projets de grande envergure en collaboration avec d'autres universités et avec le secteur privé.

Je suis professeur adjoint au Département d’informatique et de recherche opérationnelle à l’Université de Montréal, où je travaille pour GEODES, le groupe de recherche en génie logiciel (en savoir plus).

Je travaille à créer des techniques et des méthodes formelles tout en étant pratiques pour l’ingénierie du logiciel. Pour ce faire, je m’inspire de disciplines telles que la vérification formelle, l’ingénierie dirigée par les modèles et les méthodes empiriques. J'étudie le contexte du développement du logiciel et je crée de nouvelles techniques qui utilisent des abstractions spécifiques au domaine, soutenues par une automatisation rigoureuse.

Mes principaus intérêts de recherche suivent deux axes.

Le premier axe est la conception en génie logiciel, suivant le paradigme d'ingénieurie dirigée par les modèles. En particulier, je m'intéresse à la conception de langages de modélisation dédiés au domaine, les transformations de modèles et la génération de code automatique. Mes intérêts s'inscrivent également dans la modélisation collaborative en temps réel et suivant des systèmes de contrôle de révision. Je travaille aussi sur la génération d'environnements de modélisation entièrement personalisable afin d'améliorer l'expérience utilisateur.

Le second axe est la simulation, souvent la simulation à événements discrets et la co-simulation. Mes travaux s'incrivent dans la conception de jumeaux numériques appliqués dans diverses domaines, tel que l'agriculture, l'automobile et la domotique.

Un autre intérêt de recherche transversal est sur les revues systématiques de la littérature d'un point de vue méthodologique et logiciel.