Aux mercredis-recherches, vous aurez la chance d'en apprendre davantage sur les fascinants projets de recherche menés par des membres du corps professoral. Ces évènements se veulent inclusifs et tout le monde est encouragé à se joindre à nous!
Calendrier automne 2023
| Date | Heure | Lieu | Professeur | Domaine |
|---|---|---|---|---|
| 20 septembre | 12h30 à 13h30 | PK-5115 | Vladimir Reinharz | Bio-informatique |
| À préciser | 12h30 à 13h30 | PK-5115 | Joel Lefebvre | Analyse d'image |
| À préciser | 12h30 à 13h30 | À préciser | Quentin Stiévenart | Analyse de programmes |
| 18 octobre | 12h30 à 13h30 | PK-5115 | Sébastien Gambs | Respect de la vie privée numérique |
| À préciser | 12h30 à 13h30 | À préciser | Samuele Giraudo | Combinatoire algébrique |
Prochaines rencontres
À préciser Lefevbre, Joel
Du cerveau aux forêts urbaines, l’imagerie numérique et l’intelligence artificielle au LINUM
L'imagerie numérique et l'intelligence artificielle sont des outils de plus en plus utilisés pour étudier le vivant. Les avancées récentes en vision par ordinateur et en apprentissage profond ont permis de développer des méthodes d'analyse d'images qui permettent d'automatiser la microscopie et d'extraire des informations quantitatives à partir d'images générées. Cette présentation portera sur les travaux de recherche réalisés par les membres du Laboratoire d'imagerie numérique, neurophotonique et microscopie (LINUM) au département d'informatique de l'UQAM. Les techniques d'imagerie numériques utilisées par l'équipe du LINUM seront mises en contexte, puis quelques pipelines d'analyse des images seront présentés. Quelques projets de recherche seront décrits plus en détail, dont l’évaluation par microscopie optique de l'effet d'un manque d'oxygène à la naissance sur la matière blanche et les vaisseaux sanguins, et l'imagerie par drone de la forêt urbaine de Montréal pour évaluer la santé des arbres.
À préciser Quentin, Stiévenart
L'analyse de programmes
Peut-on détecter des bugs de façon automatique ? Ou prouver l'absence d'un certain types de bugs ? L'analyse de programmes permet de répondre à ces questions cruciales. Elle est fondamentale de nombreux outils que vous utilisez fréquemment : compilateurs, linters, anti-virus, ... Dans cette présentation, nous explorerons la distinction fondamentale entre l'analyse statique et l'analyse dynamique, en mettant en lumière leurs contraintes, leurs compromis et leurs applications. Nous verrons comment ces techniques peuvent améliorer la qualité et la sécurité des logiciels. Cela sera illustré au travers de quelques travaux récents dans le domaine, en particulier des travaux sur l'analyse de binaires utilisant la technologie WebAssembly.
18 octobre Sébastien Gambs
Enjeux de vie privée et éthiques dans le contexte des données massives.
Historique des conférences
20 septembre 2023 Reinharz, Vladimir
L'informatique transforme tous les domaines des sciences. En biologie, cela ne fait que commencer. Chaque année, de nouvelles découvertes et techniques expérimentales étendent les champs d'investigation en bio-informatique. Dans cette présentation, je vais brièvement discuter de ce qu'est la recherche ainsi que de mes projets en bio-informatique. Je m'intéresse entre autres aux structures de molécules, à l'évolution et aux différentes méthodes pour les étudier. Je parlerai en particulier des molécules d'ARN et de graphes, et de ce que des étudiants ont fait avec moi durant les dernières années.