A short walk through Formal Methods, Algorithms, and Programs.
Date: Friday, Dec 3, 2021
Time: 10:30 am
Speaker: Ivano Salvo
Title: A short walk through Formal Methods, Algorithms, and Programs.
Abstract: In this talk, I give a glimpse of my research work in the last decade, which has been developed along 4 main lines:
1. Model checking techniques applied to correct-by-construction synthesis of control software of cyber-physical systems and to system biology;
2. Graph-theoretic characterisations of inefficiencies in network models and graph algorithms to detect such inefficiencies;
3. Discriminating power of different notions of equivalence on Event and Configuration Structures;
4. Functional programs generating infinite data structures.