TINI SIMONE

EDUCATION: Master degree in Computer Science, University of Pisa, June 1995; PhD in Computer Science, University of Pisa, February 2000. POSITIONS: [Mar 2005 - present] Associate Professor, University of Insubria; [Oct 2001 - Feb 2005] Assistant Professor, University of Insubria; [Aug 2000 - Sept 2011] Research Fellow, University of Pisa. RESEARCH INTERESTS: formal methods; timed and hybrid automata; process algebras; probabilistic systems; programming languages and semantics; systems biology; cyber physical systems. RESEARCH PROJECTS: Member of the ESPRIT BRA Project 8130 “Logical and Operational Methods in the Analysis of Programs and Systems”; MURST Progetto “Tecniche Formali per la Specifica, l'Analisi, la Verifica, la Sintassi e la Trasformazione di Sistemi Software” 1997-1998; ESPRIT WG Project 23677 “Concurrent Constraint Programming for Time Critical Applications” 1997-2000; MURST Progject “Theory of Concurrency, Higher Order Languages and Types”, 1999-2001; MIUR Project “Metodi Formali per la Sicurezza ed il Tempo” 2001-2003; MIUR Project “Analisi di sistemi di Riduzione mediante sistemi di Transizione” 2005-2006. Head of Uninsubria Unit of MIUR Project "MEDICA: Modelling and vErification of alkaptonuria and multiple sclerosis Driven by biomedICAl data". PC MEMBER ACTIVITY: SLAP 2004; SOS 2004; SOS 2005; SOS 2007; SOS 2008; EXPRESS/SOS 2016; EXPRESS/SOS 2017 (Co-chair); EXPRESS/SOS 2018 (CO-chair); CONCUR 2019; ICTCS 2019 (CO-chair); SEFM 2020; FORTE 2021; ICTCS 2023, FORTE 2024; DATAMOD 2024; ICTCS 2026. PHD BOARD MEMBERSHIP: PhD Program in Computer Science, University of Insubria, 2006-2013; PhD Program in Computer Science and Mathematics of Computation, University of Insubria, 2013-present. EDITORIAL BOARD ACTIVITY Scientific Annals in Computer Science (since Jan 2024); Science of Computer Programming (since June 2025); Frontiers in Computer Science (Theoretical Computer Science Section, since May 2026).