Polytechnique > Recherche > Répertoire > Un professeur ou chercheur

Répertoire des expertises

Photo de John Mullins

John Mullins

Professeur agrégé
Département de génie informatique et génie logiciel

Recherche

Intérêts de recherche

Méthodes formelles de spécification et de vérification des systèmes concurrents et de la sécurité des systèmes d'information.

  • Méthode formelle
  • Analyse des systèmes
  • Analyse de la sécurité
  • Modèle et calcul des systèmes concurrents
  • Description et vérification des systèmes
  • Systèmes concurrents orientés objet
  • Système concurrents mobiles
  • Modèle et vérification pour la sécurité dse systèmes

Unité(s) de recherche

Sujets CRSNG

  • 2700 TECHNOLOGIE DE L'INFORMATION
  • 2714 Mathématiques de l'informatique
  • 2710 Conception de systèmes d'information
  • 2713 Algorithmes

 

© École Polytechnique de Montréal
Bottin | Plan du site | Recherche | Conditions