Passer au contenu

/ Département d'informatique et de recherche opérationnelle

Je donne

Rechercher

Experts en : Conception de logiciels

BOCHMANN, Gregor V.

Professeur émérite

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é.

Lire plus…

Profil complet

Famelis, Michalis

FAMELIS, Michalis

Professeur adjoint

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.

Lire plus…

Profil complet

Syriani, Eugène

SYRIANI, Eugène

Professeur agrégé

Mes principaux intérêts de recherche sont axés sur la conception dirigée par les modèles, en particulier la conception de transformations de modèles et leur vérification, et la conception dirigée par simulation, en particulier la simulation discrète, tous appliqués à des domaines autres que l'informatique.

Lire plus…

Profil complet