BUGLIESI Michele

Qualifica Professore Ordinario
Telefono 041 234 8437
E-mail bugliesi@unive.it
SSD INFORMATICA [INF/01]
Sito web www.unive.it/persone/bugliesi (scheda personale)
 http://www.dsi.unive.it/~michele
Struttura Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais
Sede: Campus scientifico via Torino
Stanza: studio Z.B06 (edificio Zeta B)

Attività e competenze di ricerca

Informazioni generali

Settore Scientifico Disciplinare (SSD) di afferenza INFORMATICA [INF/01]
Settore Scientifico Disciplinare (SSD) affine SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI [ING-INF/05]
Aree geografiche in cui si applica prevalentemente l'esperienza di ricerca Internazionale: Europa, America Settentrionale
Lingue conosciute inglese (scritto: avanzato parlato: avanzato)
italiano (scritto: madrelingua parlato: madrelingua)
Partecipazione a comitati editoriali di riviste/collane scientifiche Editoria Board Member: Security and Communication Networks. Program Committee Member per vari convegni internazionali, tra cui: MFCS 2012: 37th International Symposium on Mathematical Foundations of Computer Science, COMPSAC 2014 - 2012, 2009: 39th - 37th, 34th Annual International Computer Software & Application Conference, ICECCS 2012: 17th IEEE International Conference on Engineering of Complex Computer Systems, SAS 2011: 18th International Static Analysis Symposium, PPDP 2010: 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, FCS 2009: International Worksup on Foundations of Computer Security, ESOP 2009: 18th European Symposium on Programming
Partecipazione come referees di progetti di ricerca nazionali ed internazionali PRIN 2009
ERC Consolidator 2017
Aree e linee di ricerca Area: Informatica Linea: DISTRIBUTED SYSTEMS
Area: Informatica Linea: PROGRAMMING LANGUAGES
Area: Informatica

Competenze di ricerca

Analisi della sicurezza informatica di sistemi e applicazioni distribuite

Description Security Analysis for distributed systems and applications
Parole chiave Internet technology, Middleware, Security systems

Analisi e sviluppo di applicazioni basate su servizi web

Description Design and analysis of web services
Parole chiave Interoperable network solutions, Trust technology, Virtual organisations

Analisi e progetto di sistemi software

Description Design and analysis of software systems
Parole chiave Software technology, Software development, Computational models

Ricerche sviluppate e in corso

Analisi di Protocolli Crittografici

SSD INF/01
Altri membri del gruppo di ricerca Riccardo FOCARDI

Analisi e verifica di sistemi distribuiti

SSD INF/01

Digital Humanities

SSD INF/01
Altri membri del gruppo di ricerca Giuseppe BARBIERI
Silvia BURINI
Augusto CELENTANO
Marco DEL MONTE
Marcello PELILLO

Metodi formali per la sicurezza

SSD INF/01

Progetto ed analisi di tipi per API grafiche

SSD INF/01

Finanziamenti

ADAPT: Accessible Data for Accessible Proto-types in Social Sector

Ente finanziatore MIUR
Tipologia Bando Smart Cities
Ruolo nel progetto NS
Data inizio Anno: 2013 Durata mesi: 48
Altri membri del gruppo di ricerca Andrea ALBARELLI
Riccardo FOCARDI
Flaminia LUCCIO
Andrea MARIN
Salvatore ORLANDO
Alessandra RAFFAETA'
Sabina ROSSI
Claudio SILVESTRI
Andrea TORSELLO

CINA: Composizionalità, Interazione, Negoziazione, Autonomicità per la società ICT futura

Ente finanziatore MIUR
Tipologia PRIN
Ruolo nel progetto PT
Data inizio Anno: 2012 Durata mesi: 24
Altri membri del gruppo di ricerca Maria Simonetta BALSAMO
Gian-Luca DEI ROSSI
Andrea MARIN
Sabina ROSSI

EUTYPES - 2016

Ente finanziatore Unione Europea
Tipologia COST
Ruolo nel progetto PT
Data inizio Anno: 2016 Durata mesi: 36
Altri membri del gruppo di ricerca Agostino CORTESI
Riccardo FOCARDI

Sicurezza, affidabilita' e protezione della privacy nelle piattaforme mobili

Ente finanziatore Regione Veneto
Tipologia POR FSE (2007-2013)
Ruolo nel progetto LD
Data inizio Anno: 2012 Durata mesi: 12