Sabina Rossi is a Full Professor in the Department of Environmental Sciences, Informatics and Statistics at Ca' Foscari University of Venice, where she also serves as Rector's Delegate for digital innovation in teaching. Her research develops formal methods for analyzing distributed systems with mobility and concurrency, specializing in process algebraic techniques for performance evaluation, verification, and dependability analysis of complex systems. Recent work extends to Markovian models for wireless networks, blockchain verification, and neural network compression. Her research investigates foundational models of distributed systems, with current emphasis on reversible computation, proportional lumpability in Markov chains, and blockchain security properties. She applies formal methods to analyze information flow security, model checking, and performance evaluation of stochastic systems. Recent publications (2020-2025) address queueing models with job stealing policies, blockchain verifier's dilemma, selfish mining attacks, and neural network compression via formal methods. Teaching responsibilities include 'Formal Methods for System Verification' in the Computer Science graduate program, 'Discrete Structures' for undergraduates, and foundational computer science courses for humanities students. She maintains office Z.B01 at the university's Scientific Campus via Torino in Venice.









