| | | BEAUBRUN, Ronald | | Téléinformatique et réseaux mobiles | BEAULIEU, Jean-Marie | | Analyse d'images appliquée à la télédétection | BELKHITER, Nadir | | Interaction humain-ordinateur | BUI, Minh Duc | | Génie logiciel objet, systèmes temps réel, logiciels à composantes | CAPUS, Laurence | | Ingénierie des systèmes intelligents, raisonnement à partir de cas et résumé automatique | CHAIB-DRAA, Brahim | | Génie logiciel orienté agent, systèmes multiagents, dialogues | DESHARNAIS, Josée | | Analyse et vérification de systèmes réactifs, concurrents et probabilistes | DESHARNAIS, Jules | | Mathématiques de l'analyse et de la construction de programmes | DUBÉ, Danny | | Analyse statique, optimisation et implantation des langages de programmation; compression de données | GIGUÈRE, Philippe |
| Robotique mobile terrestre et sous-marine, apprentissage non-supervisé, perception artificielle tactile. | HARDY, Simon | | Modélisation des systèmes biologiques et développement de méthodes informatiques d'analyse pour la biologie computationnelle | KTARI, Béchir | | Méthodes formelles, sécurité informatique et certification de code | LAMONTAGNE, Luc | | Raisonnement à base de cas, intelligence artificielle et jeux, réutilisation logicielle | LAVIOLETTE, François | | Théorie des graphes, vérification automatisée et apprentissage par renforcement | MARCHAND, Mario | | Apprentissage automatique statistique | MEJRI, Mohamed | | Sécurité et méthodes formelles | MINEAU, Guy | | Théorie des graphes conceptuels, "data mining", apprentissage automatique | MOULIN, Bernard | | Informatique cognitive et géomatique | QUIMPER, Claude-Guy | | Satisfaction et optimisation de problèmes combinatoires à l'aide de la programmation par contraintes | TAWBI, Nadia | | Analyse statique, sécurité, vérification formelle, protocoles cryptographiques | TESSON, Pascal | | Complexité | TOURIGNY, Nicole | | Ingénierie des connsaissances |
|
