Guy Tremblay
Biographie
Guy Tremblay a été professeur à l’UQAM pendant 35 ans (1985-2020). Il a obtenu son baccalauréat de l’UQAM, sa maîtrise de l’Université de Waterloo, puis, tout en enseignant à l’UQAM, il a complété son doctorat en informatique à l’Université McGill. Sa thèse (1994) portait sur la mise en oeuvre de langages fonctionnels paresseux sur des architectures parallèles à flux de données.
Ses activités de recherche portent sur la programmation parallèle, les méthodes formelles de spécification et vérification ainsi que leurs applications aux services web et aux composants logiciels. Il s’intéresse aussi au développement d’outils d’aide à l’enseignement et à la correction.
En 2000, il a publié un manuel sur les méthodes formelles de spécification. Il a participé au projet du Guide to the SWEBOK en tant que Knowledge Area Specialist et Associate Editor pour la conception logicielle.
De 2001 à 2006, il a été directeur du programme de baccalauréat en informatique et génie logiciel. Durant cette même période, il a aussi été membre (vice-président en 2005-06) du Conseil d’accréditation des programmes d’informatique de l’Association Canadienne de l’Informatique. De 2009 à 2014, il a été directeur du département d’informatique.
En 2010, il a obtenu le « Prix d’excellence en enseignement de la Faculté des sciences de l’UQAM« , puis l’année suivante il a obtenu le « Prix d’excellence en enseignement de l’UQAM« .
Depuis l’automne 2020, il est officiellement à la retraite, bien qu’il continue à superviser des étudiant.e.s comme professeur associé.
Sujets d'intérêts
- Programmation parallèle
- Langages de modélisation de processus d’affaires
- Méthodes formelles pour la vérification de processus d’affaires
| Étudiant(e)s | Statut | Sujets |
|---|---|---|
| Jendoubi, Wassim | Maîtrise | |
| Thériault, Frédéric | Maîtrise | Utilisation d’un algorithme génétique pour optimiser la répartition des tâches d’enseignement |
| Ciobanu, Lulian | Maîtrise | PpFf: Une bibliothèque C++ pour le traitement parallèle de flux de données |
| Girard, Philippe | Maîtrise | Développement d’un module d’extension Moodle d’aide à la correction de questions de type »Texte long » |
| Haas, Ellen | Maîtrise | Game Genesis — Un profil UML pour la rédaction de Game Design Documents |
| Bustros, Alexandre | Maîtrise | |
| Misale, Claudia | Doctorat | PiCo: A Domain-Specific Language for Data Analytics Pipelines |
| Moraes, Jonatas | Maîtrise | Tests d’acceptation pour une application mobile |
| Lévesque, Enrico | Maîtrise | |
| Tsheke, Johnny | Maîtrise | Détection de défauts de programmes Java |
| Sall, M. S. | Maîtrise | Annuaire médical: Un répertoire centralisé pour rechercher des ressources en santé |
| Terrasa, Alexandre | Doctorat | Auto-documentation assistée de logiciels: génération et maintenance de fichiers README avec l’outil nitreadme |
| Frondo, J.-D. | Maîtrise | Application de simulation de fills pour la Banque Nationale du Canada: Fill Simulator |
| Youssef, G. | Maîtrise | Centrale d’alerte Web |
