TINI SIMONE

FORMAZIONE: Laurea in Informatica, Università di Pisa, Giugno 1996; PhD in Informatica, University of Pisa, February 2000. POSIZIONI: [marzo 2005 - presente]: Professore Associato, Università dell'Insubria; [ottobre 2001- febbraio 2005] Ricercatore, Università dell'Insubria; [agosto 2000 - settembre 2001] Assegnista, Università di Pisa. INTERESSI DI RICERCA: metodi formali, automi ibridi, algebre di processi, sistemi probabilistici, semantica, systems biology, sistemi cyber-fisici. PARTECIPAZIONE A PROGETTI: membro di ESPRIT BRA Project 8130 “Logical and Operational Methods in the Analysis of Programs and Systems”; Progetto MURST “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; Progetto MURST “Theory of Concurrency, Higher Order Languages and Types” 1999-2001; Progetto MIUR “Metodi Formali per la Sicurezza ed il Tempo” 2001-2003; Progetto MIUR “Analisi di sistemi di Riduzione mediante sistemi di Transizione” 2005-2006. Responsabile dell'unità Uninsubria del PRIN "MEDICA: Modelling and vErification of alkaptonuria and multiple sclerosis Driven by biomedICAl data". PARTECIPAZIONE A COMITATI DI PROGRAMMA: 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. PARTECIPAZIONE A COLLEGI DI DOTTORATO: Dottorato di Ricerca in Informatica, Università dell'Insubria, 2006-2013; Dottorato di Ricerca in Informatica e Matematica del Calcolo, Università dell'Insubria, 2013-presente. PARTECIPAZIONE A EDITORIAL BOARD: Scientific Annals in Computer Science (da gennaio 2024); Science of Computer Programming (da giugno 2025); Frontiers in Computer Science (Theoretical Computer Science Section, da maggio 2026).