Software y tecnologías de la información
Au baccalauréat en génie logiciel, j'enseigne les cours LOG670 (Langages formels et semi-formels), LOG625 (Introduction aux système intelligents), LOG320 (Structures de données et algorithmes) et GTI780 (Projets spéciaux en TI).
À la maîtrise, j'enseigne les cours MGL806 (Méthodes formelles et semi-formelles) et MTI830 (Forage de textes et de données audiovisuelles).
Les liens vers ces cours sont présentés ci-dessous.