Post-doc researchers on Department of Excellence funds:
Research title: Model-driven formal methods for dynamical systems
Scientific Disciplinary Sector: INF/01 - Informatics
Post-doc researcher: Luisa Collodi
email: luisa.collodi(AT)unifi.it
Research manager: Professor Michele Boreale
Start of activity: 01 February 2024 - End of activity: 31 January 2025
Last update
04.11.2024