Agenda

Ludovica Luisa Vissat, University of Edinburgh

Abstract:
In my talk I will give an overview of my PhD research work. We have initially developed a novel process algebra, specifically tailored for modelling ecological systems, and more generally for spatial stochastic systems. These systems can be seen as a collection of agents that can interact and are spatially located. To analyse properties of the dynamics of these stochastic systems, we worked with spatio-temporal logics and statistical model checking. We introduced the novel Three-Valued Spatio-Temporal Logic, which extends the available analysis, looking at the spatio-temporal evolution of the satisfaction probabilities of given logical formulas, estimated through statistical model checking. I will present different case studies during the talk, to show various applications of our modelling language and spatio-temporal analysis.

Bio Sketch:
Ludovica Luisa Vissat is a PhD student at the University of Edinburgh, at the School of Informatics, working with professor Jane Hillston. She is from Italy and studied Mathematics at the University of Trieste before moving to the UK. Her main areas of interest are formal languages for stochastic modelling, spatio-temporal logics and model checking techniques.