Vendredi 20 janvier 2023
Josée Desharnais
Professeure titulaire au département d’informatique et de génie logiciel, Université Laval
Heure: 13h30
Local: PLT-2744
Visioconférence: Zoom
Résumé: Cette présentation donnera un aperçu du contenu de deux articles qui ont gagné des prix de test du temps, 20 ans après leur publication (dont l’été dernier). En voici les auteurs et titres:
– Richard Blute, Josée Desharnais, Abbas Edalat, Prakash Panangaden: Bisimulation for Labelled Markov Processes. LICS 1997: 149-158
– Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden: The Metric Analogue of Weak Bisimulation for Probabilistic Processes. LICS 2002: 413-422
Les prix ont été attribués par LICS (Logics in Computer Science), une conférence internationale sur la logique. Ces articles font partie d’une suite de plusieurs articles issus de mes travaux de doctorat sur les systèmes (~automates) probabilistes ayant un ensemble d’états infini continu.
Voici un extrait de la présentation du deuxième article par le comité qui a attribué le prix l’été dernier: « This landmark paper is a tour de force, applying new techniques in novel ways to support what constitutes groundbreaking research into how to analyse probabilistic processes and their applications, in varied domains such as security (including privacy and information flow), fuzzy systems, control systems, mobile process theory, software engineering, programming language theory, formal methods, and coalgebraic process theory, among others. »
Liens: premier article, deuxième article
