GradNova

Home
Find Faculty
Universities
Research
Home
/
Universities
/
Université du Québec à Montréal
/

Computer Science

Computer Science

Université du Québec à Montréal

Computer Science at Université du Québec à Montréal has 37 faculty on GradNova.

Faculty

R
Applications De La Logique En Informatique : Logiques Modales, Automates
Modélisation Et Vérification De Systèmes Informatiques : Model Checking, Méthode Sat Et Algorithme Dpll, Applications En Télécommunications
Formal Methods in Verification
Service-Oriented Architecture and Web Services
+3
P
Algorithmes De Fouille De Données
Découverte De Connaissances À Partir De Données
Fouille De Données Structurées
Fouille De L'usage Du Web, Recommandation De Contenu
+6
S
Agile Et Lean
Amélioration Des Processus De Développement Et De Maintenance Des Logiciels
Génie Logiciel
Mesures Du Logiciel Et Des Processus
+5
Q
Analyse Dynamique De Programmes: Concolic Testing, Fuzzing
Analyse Statique De Programmes: Interprétation Abstraite, Systèmes De Typage, Vérification
Interpréteurs, Langages D'ordres Supérieurs, Langages Fonctionnels
Sécurité Des Applications
+5
N
Commerce Électronique
Conception, Développement Et Maintenance De Systèmes D'information
Développement D'outils De Soutien À L'enseignement
Génie Logiciel : Principes Fondamentaux, Processus De Développement
M
Génie Logiciel
Langages Spécifiques À Un Domaine (dsl)
Protocoles Cryptographiques
Recherche Empirique
+6
R
Bioinformatique
Jeux Sérieux
Microbiome Humain Et Santé
Science Citoyenne
+1
A
Intégration Des Données Du Web
Le Web Des Données Et Le Web Sémantique
Méthodes Formelles
Système De Gestion Des Services Web
+6
F
Acquisition Des Connaissances
Linguistique Computationnelle
Recherche D'information Multilingue
Traduction Automatique
+6
V
Bioinformatique
Biologie Computationnelle
RNA and Protein Synthesis Mechanisms
RNA Modifications and Cancer
+3
J
Confidentialité
Intelligence Artificielle Appliquée Aux Sciences Du Vivant
Modèles Génératifs
Particle Physics Theoretical and Experimental Studies
+4
J
Cybersécurité Applicative
Génie Logiciel
Informatique Système
Langages À Objets Et Sur Les Systèmes D'exécution
+6
R
Intelligence Artificielle
Systèmes Multi-Agents
Systèmes Tutoriels Intelligents
Systèmes À Base De Connaissances
+5
H
Dépistage De L'information
Développement De Logiciels Par Aspects
Développement Par Composants
Marchés Électroniques
+6
M
Applications Biomédicales
Apprentissage Automatique
Intelligence Artificielle
Recherche D'information
+5
J
Cognition Et Émotions
Interaction Humain-Machine
Performance Et Apprentissage Humains
Sciences Cognitives Appliquées
+7
V
Application De L'ia Aux Données Biomédicales
Bioinformatique
Clustering
Développement D'algorithmes
+7
H
Génie Logiciel (qualité Du Logiciel, Rétro-Ingénierie Et Réingénierie, Validation Et Maintenance Du Logiciel)
Ingénierie Des Connaissances
Intelligence Artificielle (systèmes À Base De Connaissances, Apprentissage Automatique Et Fouille De Données)
Software Engineering Research
+4
J
Imagerie Biomédicale (histologie Sérielle, Oct, Irm)
Infographie
Neurophotonique
Traitement Et Analyse D'images
+6
M
Apprentissage Machine Respectueux De La Vie-Privée
Calcul Multi-Parti Sécuritaire
Chiffrement Homomorphe
Cryptographie Appliquée
+2
R
Langages De Programmation: Systèmes De Typage, Sémantique, Fondements Et Conception
Logique: Interprétation Computationnelle, Logique Intuitionniste, Linéaire Ou Sous-Structurelle
Programmation Concurrente Et Parallèle: Langages, Systèmes De Typage, Sémantique, Vérification
Logic, Programming, and Type Systems
+4
J
Ingénierie Des Exigences
Intelligence Artificielle Pour Le Génie Logiciel
Maintenance Logicielle
Méthodes Formelles
+6
S
Combinatoire Algébrique
Opérades Et Clones
Systèmes De Réécriture
Advanced Topics in Algebra
+4
S
Apprentissage Machine
Protection De La Vie Privée Dans Le Monde Numérique (géolocalisation, Réseaux Sociaux, Systèmes Distribués, Fouille De Données Et Gestion D’identité)
Sécurité Des Systèmes D’information
Privacy-Preserving Technologies in Data
+4
2
Next