Sabina Rossi received her master degree in Mathematics from the University of Padova, Italy, in 1990 and her Ph.D. in Computational Mathematics and Informatics Mathematics from the University of Padova in 1994. She is Associate Professor of Computer Science at the University Ca’ Foscari of Venice, Italy, since 2012. Formerly she has been Assistant Professor of Computer Science at the University Ca’ Foscari of Venice, Italy, since 2000. Previously, she held a research position at the Universitè Catholique de Louvain-la-Neuve, Belgium. She has been visiting Professor at the Universitè Paris 7, Denis Diderot, France (2007). She has expertise in foundational models of distributed systems with mobility and concurrency.
Her current research focuses on the development of formal tools for the analysis, veriﬁcation and performance evaluation of complex systems based on process algebraic techniques. Recently, she has worked on Markovian models for the evaluation of the performance and dependability of computer and communication systems. Specifically, she worked on a new notion of time-reversibility to efficiently compute the stationary probabilities of large Markov models. She has applied her results for the analysis of ad-hoc wireless and sensor networks, systems with fork-join operations, distributed systems with load balancing.
Prof. Sabina Rossi is the (co-)author of over 80 technical papers in refereed international journals and conference proceedings and has been in the program committees of various international conferences and workshops.