Laura Carnevali

Laura Carnevali is an Associate Professor of Computer Science at the Department of Information Engineering, University of Florence, where she leads research in formal methods and performance evaluation as a member of the Software Technologies Lab. She teaches Software Engineering for Embedded Systems, Quantitative Evaluation of Stochastic Models, and Foundations of Computer Programming at the School of Engineering.

Her research focuses on formal methods for real-time software development and performance evaluation of non-Markovian models, with significant contributions to the ORIS Tool for quantitative system analysis. Key areas include:

• Stochastic modeling of critical infrastructure
• Formal verification of real-time systems
• Reliability engineering methodologies
• Performance evaluation of cyber-physical systems

Her publications show strong emphasis on applied formal methods, with recent work focusing on workflow analysis, infrastructure reliability, and transportation systems modeling. Research consistently integrates theoretical frameworks with practical applications in engineering domains.

Awards include:

• Best Paper Award at ICPE 2021

She actively contributes to academic service as program committee member for leading conferences including FORMATS, QEST, and EPEW, and serves as reviewer for IEEE Transactions on Software Engineering, Reliability, and other prestigious journals.