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 (edificio Alfa)
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