Prof. Mario Verdicchio

Biografia breve

Nato a Milano nel 1975. Consegue la laurea in Ingegneria Informatica presso il Politecnico di Milano nel 2000 con una tesi sull'impatto delle tecnologie informatiche sul commercio elettronico nelle aziende italiane. Nel 2004 ottiene il titolo di Dottore di Ricerca in Ingegneria dell'Informazione presso il Dipartimento di Elettronica e Informazione del Politecnico di Milano. La ricerca maggiore verte sui modelli logici dei linguaggi di comunicazione per agenti, mentre quella minore sulla verifica formale delle proprietà di protocolli di sicurezza. Lavora come assegnista di ricerca sul progetto MIUR "Anemone" per la creazione di uno strumento automatico a supporto delle attività accademiche fino a diventare nel 2005 ricercatore nel settore scientifico disciplinare ING-INF/05 presso il Dipartimento di Ingegneria dell'Informazione e Metodi Matematici dell'Università degli Studi di Bergamo.

I suoi interessi di ricerca seguono le linee tracciate dalla tesi di dottorato ampliandone l'orizzonte, passando dalla modellizzazione della comunicazione tra agenti software in senso stretto a una più generale formalizzazione delle interazioni tra agenti (umani o informatici) in sistemi distribuiti. In questo contesto più ampio si è inserita la sua attività di ricerca sui linguaggi per politiche della gestione dei dati sensibili in Internet, all'interno del progetto europeo FP7 "Prime-Life" (2008-2011), e quella sulla formalizzazione, confronto, e armonizzazione di policy per la sicurezza dei sistemi informativi nel progetto europeo FP7 "PoSecCo" (2010-2013).