Analysis of Parameterized Systems

Speaker: Chana Weil-Kennedy, Technical University Munich

Tuesday, 19 December 2023, 14:00, 1Z71

Abstract: My research project focuses on parameterized verification of distributed systems, where the parameter is often the number of agents present in the system. During my thesis with Javier Esparza in Munich, I studied this kind of problem for subclasses of Petri nets with application to population protocols, but also for systems communicating by broadcast or by shared register. Currently in my postdoc I am continuing the study of these systems with "simple" modes of communication, and I'm also starting to look at language inclusion problems. In the future, I want to continue to analyze distributed systems for which the parameterized problems are not immediately undecidable, by broadening the range of formal method techniques used.