Tu sei qui

Tini Simone

Giugno 1995: Laurea con Lode in Scienze dell'Informazione, conseguita presso la Facoltà di Scienze MM.FF.NN. dell' Università degli Studi di Pisa. Titolo della tesi: Equivalenze di Statecharts. Relatore: Prof. Andrea Maggiolo-Schettini.

Ottobre 1999: Dottorato di Ricerca in Informatica, conseguito presso il Dipartimento di Informatica dell' Università degli Studi di Pisa. Titolo della tesi: Structural Operational Semantics for Synchronous Languages. Relatore: Prof. Andrea Maggiolo-Schettini. Revisori: Prof. Luca Aceto (Aalborg University), Prof. Rance Cleaveland (State University of New York).

Novembre 1999 - Settembre 2001: Titolare di un Assegno di Ricerca presso il Dipartimento di Informatica dell'Università degli Studi di Pisa.

Ottobre 2001 - Febraio 2005: Ricercatore (settore INF/01-Informatica) presso l'Università degli Studi dell'Insubria.

Da Marzo 2005: Professore Associato (settore INF/01-Informatica) presso l'Università degli Studi dell'Insubria.

Ricerca: 

L'attività di ricerca è focalizzata nell'area dei metodi formali per lo studio di sistemi complessi. In particolare, l'attività di ricerca riguarda quattro aspetti:
Metodi formali per lo studio di sistemi reattivi
Metodi formali per lo studio di sistemi real-time
Metodi formali per lo studio di proprietà di sicurezza di sistemi.
Metodi formali per la bioinformatica ed il natural computing.

Theme by Danetsoft and Danang Probo Sayekti inspired by Maksimer