-
Activités professionnelles/Professional Activities
- International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS), 2017, 2018 (PC member).
- The Entreprise Computing Conference (EDOC), 2015, 2016 (PC member), 2017 (PC chair).
- 2nd International Workshop on Quality Assurance for Service-based applications QASBA 2013, (PC chair).
- 16th International Symposium on Temporal Representation and Reasoning, 2008 (local organization co-chair and PC member), 2009 (PC member).
- First International Workshop on Dynamic and Declarative Business Processes (DDBP 2008) (PC chair).
- Membre de/Member of ASL, ACM.
Logiciels/Softwares
Étudiants/Students
Doctorat/PhD
- 2021-____ Nacer Boudjerida Le raisonnement logique et L’intelligence artificielle (IA) pour contribuer à contrer les effets sociopolitiques du dogmatisme
- 2021-____ Martin Ducharme Autisme et logique
- 2019-____ Matthew Martin Algorithmic methodology to measure, analyze, and compare the quality of agents’ arguments and probabilistic judgements under uncertainty
- 2019-____ Élisabeth Doyon Enquête sur l'évolution des représentations sociales de l'intelligence artificielle
- 2019-____ Steve Boucher QBF et jeux combinatoires
- 2018-2024 Francis Lareau Détection automatique d'argument dans les textes de haut niveau théorique
- 2018-2023 Dimitri Prestat Détection formelle de vulnérabilités dans des applications mobile
- 2017-2022 Dennis Drown Analyse des émotions dans le contexte des réseaux sociaux et du changement climatique
- 2016-2022 Taraneh Javanbakht Ontologie d'un dilemme éthique
- 2015-2018 Benoit Potvin Traitement de l'information visuelle pour l'extraction d'information à partir de documents visuellement riches
- 2010-2015 Maxime Sainte-Marie Regard et Jeux dans l'espace: la simulation multi-agent et la gestion spatiale de l'information
- 2007-2012 Anthony Monnet Résolution de contraintes et problème SAT
- 2005-2008 Sylvain Hallé Spécification, validation et satisfaisabilité de contraintes hybrides par réduction à la logique temporelle
Maîtrise/MSc
- 2019-2021 Vincent Laberge, Logique et modèles finis
- 2016-2019 Steve Boucher Diagnostics automatisés de problèmes réseaux
- 2015-2016 Samir Jaafar Modélisation et vérification de l’utilisation de patrons de conception (GoF)
- 2008-2011 Sami Ben Nasr Model-checking et routage
- 2008-2011 Mathieu Bourgeois Composition d'objects graphiques
- 2004-2006 Nabila Rahmoune Méthode SAT et algorithme DPLL appliqués à un problème de recherche opérationnelle
- 2004-2006 Eric Wenaas Implantation d'une logique de configuration pour la vérification automatique de configurations d'équipements de réseaux
- 2003-2005 Sylvain Hallé Formalismes logiques pour la gestion des configurations dans les réseaux informatiques
- 2001-2005 Marwan Micati Développement d'une heuristique par influences mutuelles pour l'ordonnancement des variables d'un diagramme de décision binaire (BDD)
Premier cycle/Undergraduate
- 2008 Mathieu Bourgeois Implantation d'un langage de description graphique
- 2008 Éric Coutu Décompositions de contraintes booléennes
- 2003 Pier-Luc Simard Environnement de développement pour NuSMV
- 2003 Nicolas Leclerc Extension de la syntaxe d'entrée pour NuSMV
- 2002 Nawal El-Massri Librairie BDD en Ada95
- 2002 Pier-Luc Simard Vérification et simulation d'un algorithme réparti
Pour tout commentaire/Comments to 