Martedì 16:30 - 18:30, in modalità telematica oppure in presenza (stanza 542, Dipartimento di Ingegneria dell'Informazione). Gli studenti sono pregati di inviare una email per verificare la disponibilità.
Laura Carnevali received the Ph.D. in Informatics, Multimedia, and Telecommunications Engineering from the University of Florence in 2010. She is an Associate Professor at the University of Florence since 2019 and a member of the Software Technologies Lab of the Department of Information Engineering since 2007. She was visiting researcher at École normale supérieure de Cachan (Paris, France) from March 2014 to June 2014. Her research is focused on solution techniques for performance evaluation of concurrent non-Markovian models and on formal methods for model driven development of real-time software.