Dipartimento di Informatica

Date: Friday, Dec 3, 2021
Time: 10:30 am
Venue: https://meet.google.com/bhu-frpx-ini
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.