Persone e Insegnamenti
      

Prof. Mario Verdicchio

mario.verdicchio@unibg.it

Tel.: 0352052358 (Dalmine)
Fax: 035562779

Riceve gli studenti: Mercoledý dalle 15 alle 17 presso Campus Ingegneria edificio B.

Sede: Dalmine
viale Marconi 5 - 24044 Dalmine (BG) - Italia
stanza B 2.24

Professore Aggregato: Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione

Professore Aggregato: Scuola di Ingegneria

Affidamento: Corsi - Lettere, Filosofia, Comunicazione


Corsi:
38067 Corso integrato di Informatica teorica e Intelligenza artificiale (12 crediti)
156004 Mapping e big data

Corsi a.a. precedenti:
38007 Corso integrato di Informatica teorica e impianti informatici (12 crediti)
21005 Corso integrato di Reti di calcolatori e Sistemi operativi (sistemi operativi) (5 crediti)
32004 Informatica (Tessile) (6 crediti)
67100 Informatica per la comunicazione
13042 Informatica per le discipline umanistiche 2 (5 cfu)
92028 Informatica per le discipline umanistiche 2 (6 cfu)
38018 Informatica teorica (5 crediti)
44125 Sistemi web per il turismo


Biografia breve

prof. Mario Verdicchio 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).



Informazioni personali
CV in italiano
CV in English
Pubblicazioni
Pubblicazioni/Publications
Altro
Pagina personale