ULRIA accueille des étudiant.e.s et un professeur de France
ULRIA, l’Unité Laurentienne de recherche en informatique et ses applications dirigée par le professeur Omer Nguena Timo, du Département d’informatique et d’ingénierie au Campus de Saint-Jérôme, reçoit de la grande visite de France en cette saison estivale.
URLIA accueille tout d’abord une étudiante et un étudiant en provenance de l’École ENSEIRB-MATMECA de Bordeaux France pour un séjour d’été en recherche. Nathan Thivin et Charles Martin approfondiront leurs connaissances à travers les problématiques de recherche d’intérêt pour ULRIA, notamment autour de l’analyse de la fiabilité des systèmes évolutifs. Ils sont supervisés par le professeur Timo, qui est également membre du LRSI (Laboratoire de Recherche en Sécurité Informatique) et co-directeur du module du baccalauréat en informatique offert au Campus UQO-Saint-Jérôme.
,
Sylvain Conchon, professeur d’informatique à l’Université Paris-Sud était également l’invité d’ULRIA. Lors de sa visite au Campus de Saint-Jérôme, il a rencontré le professeur Timo, ainsi que le professeur Étienne St-Onge, également du Département d’informatique et d’ingénierie.
En présence d’étudiants, le professeur Conchon a présenté une approche à base de la logique mathématique pour vérifier la fiabilité que des systèmes logiciels qui s’exécutent dans des environnements avec des mémoires faibles. De tels systèmes peuvent contrôler l’utilisation des batteries électriques dans des véhicules. Les professeurs ont manifesté leur intérêt à la mobilité des étudiants via des programmes de recherche conjoints et d’enseignement.
Le 13 juillet 2023