TINI SIMONE

PERSONAL DATA: - Birth date: April 11, 1971 - Citizenship: Italian - Email: simone.tini@uninsubria.it EDUCATION: - PhD in Computer Science, University of Pisa, February 2000. - Master degree in Computer Science, University of Pisa, June 1995. POSITIONS: - [mar2005-now] Associate Professor, University of Insubria. - [oct2001-feb2005] Assistant Professor, University of Insubria. - [aug2000-sept2011] Research Fellow, University of Pisa. RESEARCH INTERESTS: - formal methods - timed and hybrid automata - process algebras - probabilistic systems - programming languages and semantics - systems biology and systems medicine - cyber physical systems PROJECTS: - Member of the ESPRIT BRA Project 8130 “Logical and Operational Methods in the Analysis of Programs and Systems” (LOMAPS). - Member of the MURST Progetto “Tecniche Formali per la Specifica, l'Analisi, la Verifica, la Sintassi e la Trasformazione di Sistemi Software” 1997-1998. - Member of the ESPRIT WG Project 23677 “Concurrent Constraint Programming for Time Critical Applications” (COTIC) 1997-2000. - Member of the MURST Progetto Cofinanziato “Theory of Concurrency, Higher Order Languages and Types” (TOSCA), 1999-2001. - Member of the MIUR Progetto Cofinanziato “Metodi Formali per la Sicurezza ed il Tempo” (MEFISTO), 2001-2003. - Member of the MIUR Progetto Cofinanziato “Analisi di sistemi di Riduzione mediante sistemi di Transizione” (ART), 2005-2006. - Head of Uninsubria Unit of "MEDICA: Modelling and vErification of alkaptonuria and multiple sclerosis Driven by biomedICAl data". Funded by Italian Ministry MIUR PC MEMBER ACTIVITY: - Workshop on Synchronous Languages, Applications, and Programming, SLAP 2004, Barcelona, 2004. - Workshop on Structural Operational Semantics, SOS 2004, London, 2004. - Workshop on Structural Operational Semantics, SOS 2005, Lisbon, 2005. - Workshop on Model-driven High-level Programming of Embedded Systems, Braga, 2007. - Workshop on Structural Operational Semantics, SOS 2007, Wroklaw, 2007. - Workshop on Structural Operational Semantics, SOS 2008, Reykjavik, 2008. - Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, EXPRESS/SOS 2016, Quebec, 2016. - 30th International Conference on Concurrency Theory, CONCUR 2019, Amsterdam, August 26-31, 2019 - 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, Amsterdam, September 14-17, 2020. - 41st International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, La Valletta, June 14-18, 2021. - ICTCS 2023, 24th Italian Conference on Theoretical Computer Science. Palermo, Italy, September 2023. - FORTE 2024, 44th Int. Conference on Formal Techniques for Distributed Objects, Components, and Systems. Groningen, The Netherlands, June 2024. - DATAMOD 2024, 12 Int. Symposium From Data To Models and Back. Aveiro, Portugal, November 2024. PC CHAIR ACTIVITY - Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017, Berlin, 2017. - Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, 2018. - 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, September 9-11, 2019 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) GUEST EDITOR ACTIVITY: - Kirstin Peters a