photo
Courriel: jamal.abd-ali@uqo.ca
Gatineau - Pavillon Lucien-Brault
101, rue Saint-Jean-Bosco
Gatineau Québec Canada
J8X 3X7

Jamal Abd-Ali

DOMAINES DE SPÉCIALISATION

 

    Modélisation de systèmes de décision

    Spécification formelle de contrôle d'accès

    Validation et vérification

    Combinatorial testing

 

 

FORMATION

  Doctorat en sciences et technologies de l'information

  Maîtrise en informatique

  Diplôme de génie avec une concentration économie

  Mathématiques spéciales et supérieures

ENSEIGNEMENT

  

 

  

  • Technologies du commerce électronique
  • Math. de l’ingénieur I
  • Algèbre vectorielle et matricielle
  • Fondements algébriques
  • Assurance de la qualité logicielle (aut. 2013, 2014 et 2015)
  • Analyse et gestion des exigences (Hiver 2015  - aut. 2020)
  • Génie logiciel I et II
  • Modélisation et conception orientée objet
  • Développement d’applications avec Visual Basic .NET
  • Commutation et routage
  • Télématique
  • Outils informatiques-bureautique

RECHERCHE

    

 

    

Spécialisations et intérêts de recherche

 

Concrétisation

Algorithmes de manipulation d’immenses volumes de données structurées

 

Concrétisé dans mon enseignement des cours « Abstract Data Types with Algorithms »

et « Algorithmique I »

Spécification formelle des exigences de contrôle d’accès 

Concrétisé dans ma thèse de doctorat.

 

Méta-modélisation et test de logiciels avec une analyse combinatoire

 

Concrétisé dans mon mémoire de maîtrise et mon enseignement de plusieurs cours de génie logiciel.

Liste complète des productions

AFFILIATIONS

      

 

 Chargé de cours

Département d'informatique et d'ingénierie

Université du Québec en Outaouais

DIRECTION DE RECHERCHE