Tini Simone
Associate Professors
SCIENCES AND HIGH TECHNOLOGY DEPARTMENT
Insubria University
Italy
Biography
June 1995: Degree with Praise in Information Sciences, at the Faculty of Science MM.FF.NN. of the University of Pisa. Thesis title: Statechart Equivalents. Rapporteur: Prof. Andrea Maggiolo-Schettini. October 1999: PhD in Computer Science, at the Department of Informatics of the University of Pisa.Thesis title: Structural Operational Semantics for Synchronous Languages. Rapporteur: Prof. Andrea Maggiolo-Schettini. Revisors: Prof. Luca Aceto (Aalborg University), Prof. Rance Cleaveland (State University of New York). November 1999 - September 2001: Holder of a Research Certificate at the Department of Informatics of the University of Pisa. October 2001 - Febraio 2005: Researcher (INF / 01-Informatica) at the University of Insubria. Since March 2005: Associate Professor (INF / 01-Computer Science) at the University of Insubria.
Research Interest
The research activity focuses on the area of formal methods for the study of complex systems . In particular, research involves four aspects: Formal methods for the study of reactive systems Formal methods for the study of real-time systems Formal methods for the study of system security properties . Formal methods for bioinformatics and natural computing .
Publications
-
R. Lanotte, S. Tini: Probabilistic Bisimulation as a Congruence . ACM Trans. Comput. Log. 10 (2), 2009.
-
R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, S. Tini: P Systems with Transport and Diffusion Membrane Channels. Fundam. Inform. 93 (1-3), 2009, pp. 17-31
-
S. Tini: (2010) Non-Expansive Epsilon-Bisimulations for Probabilistic Processes. Theor. Comput. Sci. 411: 2202-2222
