Sabina Rossi received her M.S. degree in mathematics from the University of Padova, Padua, Italy, in 1990 and her Ph.D. degree in computational mathematics and informatics mathematics from the University of Padova, Italy, in 1994. She has been an Assistant Professor of computer science at the Ca' Foscari University of Venice, Venice, Italy, since 2000. Formerly she held a research position at the Universit é Catholique de Louvain-la-Neuve, Louvain-la-Neuve , Belgium. In 2007, she has been a Visiting Professor at the Universit é Paris 7, Denis Diderot, France. 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 and verification based on process algebraic techniques. Dr. Rossi is the (co-)author of over 50 technical papers in refereed international journals and conference proceedings and has been in the program committees of various international conferences and workshops.
Biography Updated on 5 July 2011