Intérêts et projets de recherche des professeures et professeurs du Département d'informatique

Abdulrazak, Bessam
Site personnel
Informatique ambiante et omniprésente. Environnement Intelligent. Robotique d’aide. Personnalisation et Interaction Homme Machine dans le cas d’un Handicap. Aides techniques pour personnes handicapées. Télé-Soins.

Projets actuels : À venir.
Auclair-Fortier,
Marie-Flavie

Site personnel
Traitement et analyse d’images. Vision par ordinateur. Vision panoramique.

Projets actuels : Développement de technologies liées à la vision panoramique. Reconstruction 3D, création et qualité des images panoramiques. Intégration d’un modèle image pour l’amélioration de la qualité des images. Perception 3D du son.
Beaudry, Martin
Site personnel

 
Algèbre et automates. Informatique théorique. Théorie de la complexité.

Projets actuels : Étude de la théorie algébrique des langages et des automates. Étude des propriétés fondamentales des monoïdes et des algèbres non associatives. Analyse de la complexité calculatoire de problèmes algorithmiques. Détermination des propriétés algébriques de certains modèles de calcul, dont les automates et les circuits quantiques.
Descoteaux, Maxime
Site personnel
Imagerie médicale. Traitement et analyse d'images. Mathématiques appliquées.

Projets actuels : Je travaille actuellement sur l'imagerie par résonance magnétique (IRM) anatomique, de diffusion et fonctionnelle afin d'étudier le cerveau humain. Je développe des méthodes d'acquisition et de traitement d'images pour retrouver l'architecture neuronale et de mieux comprendre comment certaines régions du cerveau communiquent entre elles.
Dussault, Jean-Pierre
Site personnel
Programmation mathématique. Infographie.

Projets actuels : Développement d'algorithmes de programmation mathématique, optimisation avec ou sans contrainte. Étude de convergence des algorithmes, ainsi qu'à leur implantation. Utilisation de la différentiation automatique dans des méthodes d'ordre supérieur généralisant les algorithmes de Newton, Chebychev, Halley. Applications à l'imagerie, aux réseaux (télécommunications et transport) et aussi à un joueur de billard intelligent.
Egli, Richard
Site personnel
Infographie. Simulations physiques. Vie artificielle. Modèles de chaînes.

Projets actuels : Développement d'un cadre de travail permettant d'exprimer, de façon claire et concise, des phénomènes de plus en plus complexes qui sont modélisés en infographie. Différents exemples ont été élaborés : réseau de masses-ressorts, modélisation de tissus, surfaces courbes, couples de force, simulation de fluides, relations spatiales entre des formes. Je m'intéresse aussi à la reprojection d'images.
Ethier, Jean-François

Faculté de médecine et sciences de la santé

Département d'informatique

Site personnel
Informatique de la santé au service de la médecine personnalisée. Modèles de connaissances et ontologies. Utilisation secondaire des données de santé.

Projets actuels : e-PIRAMIDE : entrepôt de données pour la région et médiation de données provinciales et nationales en santé. Inclusion des données de recherche (cohorte et biobanques). Approche adaptée à la personne âgée : optimisation des prescriptions à l’aide d’un outil contextualisé d’aide à la décision. Création de l’infrastructure d’un registre de douleur chronique fédéré pour le Québec.
Frappier, Marc
Site personnel

 
Sécurité : contrôle d'accès et génération automatique de test. Méthodes formelles de développement : raffinement génération automatique de code, preuve de propriétés temporelles, vérification de systèmes paramétrés.

Projets actuels : Développement d'un système de gestion du contrôle d'accès et du consentement pour l'Agence de la santé et des services sociaux de l'Estrie. Méthode et outil de génération de tests de vulnérabilité pour les cartes à puces Java. Méthode et outil de preuve de propriétés temporelles pour les méthodes B et Event-B. Méthode et outil de validation et vérification pour les politiques de contrôle d'accès. Méthode et outil de raffinement pour les systèmes de contrôle en Event B et B.
Girard, Gabriel
Site personnel
Grappes de calcul.  Sécurité des systèmes informatique.

Projets actuels : Développement d'un environnement pour capturer les traces de logiciels malveillants.
Giroux, Sylvain
Site personnel

Groupe :
Domus
Assistance cognitive, télévigilance et suivi médical pour les personnes ayant des déficits cognitifs. Habitats intelligents. Information géo-référencée. Réseaux de capteurs. Informatique diffuse. Informatique mobile. Systèmes multi-agents. Autonomic computing. Reconnaissance d'activités. Personnalisation. Sensibilité au contexte. Interfaces tangibles.Travail collaboratif.

Projets actuels : À venir.
Jacques, Pierre-Étienne

Département de biologie

Département d'informatique

Site personnel
Bio-informatique génomique

Projets actuels : Développement d'outils bio informatiques et analyse de données génomiques.
Jodoin, Pierre Marc
Site personnel
Algorithmes d'apprentissage. Apprentissage profond. Vision par ordinateur. Traitement d'images. Analyse de la vidéo. Surveillance. Segmentation. Reconnaissance de formes. Imagerie médicale.

Projets actuels : À venir.
Kabanza, Froduald
Site personnel

Groupe :
Planiart
Intelligence artificielle. Algorithmes de planification. Algorithmes de reconnaissance de plan, de but ou d'intention.

Projets actuels : Algorithmes de planification pour robots autonomes (collaboration avec Faculté de génie : professeur François Michaud). Algorithmes de planification et de reconnaissance de menaces pour les combats navals (collaboration avec RDDC-Valcartier). Algorithmes de planification et de reconnaissance de stratégies et de tactiques des joueurs dans le jeu StarCraft.
Lavoie, Luc
Site personnel
Bases de données, entrepôts de données et temporalisation; ingénierie des exigences.

Projets actuels : Élaboration d'une architecture et d'outils pour la fabrication d'entrepôts de données pour les systèmes informationnels de santé. Mise au point de procédés de développement et d'entretien de systèmes informatisés pour les petites et moyennes entreprises.
Mayers, André
Site personnel

Groupes :
Astus
Prospectus
Intelligence artificielle. Sciences cognitives. Système tutoriel intelligent. Modélisation de l'expertise. Modélisation de l'usager. Forage de données.

Projets actuels : Conception d'un système de représentation des connaissances pour encoder l'expertise d'un domaine en vue de l'enseigner. Modélisation cognitive d'un apprenant. Modélisation du pédagogue.
Ouangraoua, Aïda
Site personnel
Algorithmique. Biologie computationnelle. Bio-informatique. Complexité biologique et informatique.

Projets actuels : Développement de modèles et algorithmes pour l'analyse de structures biologiques : comparaison d'ensembles de transcripts de gènes, assemblage de génomes et reconstruction d'histoires évolutives, comparaison de structures d'ARN non-codant, comparaison de séquences et structures arborescentes, recherche de motifs dans des graphes.
Pigot, Hélène
Site personnel

Groupe :
Domus
Assistance cognitive. Habitat intelligent. Informatique cognitive. Informatique diffuse. Reconnaissance d'activités. Interface humain machine. Troubles cognitifs. Orthèses cognitives.

Projets actuels : Fournir une assistance cognitive pour garantir l'autonomie d'un occupant présentant des troubles cognitifs. Diagnostiquer le trouble cognitif limitant l'autonomie et le pallier par des indices environnementaux. Concevoir des orthèses pour assurer l'autonomie aux personnes avec schizophrénie, traumatisme crânien, déficience intellectuelle et démence et auprès de leurs intervenants.
Scott, Michelle

Faculté de médecine et sciences de la santé

Département d'informatique

Site personnel 
Nous utilisons des approches bioinformatiques de génomique comparative, d'apprentissage automatisé, de transcriptomique, de biologie moléculaire et de biologie des systèmes, dans un environnement multi-disciplinaire, pour comprendre le rôle des petits ARN dans la régulation post-transcriptionelle des gènes et pour étudier la régulation de la localisation cellulaire des protéines et la variabilité des signaux de ciblage à grandeur du protéome humain.

Projets actuels : Caractérisation des petits ARN nucléaires et leur rôle dans la régulation post-transcriptionelle des gènes. Étude de la proéminence de l'utilisation combinatoire des signaux de ciblage des protéines et autres mécanismes de localisation cellulaire des protéines.
St-Denis, Richard
Site personnel

 
Théorie du contrôle des systèmes à événements discrets et synthèse de contrôleurs. Modèles de composants logiciels et ingénierie des systèmes à base de composants logiciels. Théorie des langages formels et construction de compilateurs.

Projets actuels : Intégration du contrôle hiérarchique dans des modèles à base de composants logiciels. Modélisation et simulation de la théorie du contrôle des systèmes à événements discrets avec Alloy et αRby. Développement d’une théorie de contrôle des systèmes à événements discrets paramétrés. Spécification de politiques de contrôle d’accès et synthèse de contrôleurs distribués. Étude des liens entre le domaine de la planification et celui du contrôle.
Wang, Shengrui
Site personnel

 

Groupe :
Prospectus
Reconnaissance de formes. Data-mining. Réseaux neuronaux. Logique floue. Analyse d'images. Recherche d'information. Raisonnement et apprentissage. Imagerie radar. Bioinformatique. Système de recommandation. Intelligence d’affaire. Bases de données. Télédétection.

Projets actuels : Approches statistiques et structurelles pour le développement des méthodes et algorithmes du clustering et de la classification des données de très grandes dimensions, des données catégoriques, des données complexes. Utilisation de la théorie de logique floue, de l’analyse statistique et des réseaux neuronaux pour les traitements à caractère symbolique. Développement des systèmes pour l’analyse des données biologiques, l’identification des communautés sur le Web, l’intelligence d’affaire, l’identification des personnes et des activités dans un environnement intelligent.
Whittingstall, Kevin

Faculté de médecine et des sciences de la santé

Département d'informatique

Site personnel
Électroencéphalographie (EEG). Imagerie par résonance magnétique fonctionnelle (IRMf). Imagerie du cancer.

Projets actuels : Mon groupe développe des méthodes qui peuvent simultanément suivre l'activité neurale (EEG) et le débit sanguin (IRMF) dans le cerveau avec une précision spatiotemporelle. Fait important, comme ces mesures sont non invasives, elles peuvent être répétées de façon sécuritaire sans effets néfastes pour les individus.
Ziou, Djemel
Site personnel
Traitement d'image. Vision artificielle. Apprentissage numérique. Gestion de documents visuels.

Projets actuels : Cybersécurité. Reconnaissance d'objets. Imagerie plénoptique. Imagerie térahertz. Qualité d'images. Réalité virtuelle. Ville intelligente.