Michele BUGLIESI

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

Attività e competenze di ricerca

Settore Scientifico Disciplinare (SSD) di afferenza
Informatica [INFO-01/A]
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
Partecipazioni attuali
Componente di comitati editoriali:
- IET Information Security (Wiley)
- Frontiers in Computer Science (Academic Editor - Theotical Computer Science)
Partecipazioni passate
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 Workshop 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
Principali aree e linee di ricerca del Dipartimento
Area: Azienda Linea: Not-for-profit - risorse e strumenti
Area: Informatica Linea: DISTRIBUTED SYSTEMS
Area: Informatica Linea: PROGRAMMING LANGUAGES
Area: Informatica
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
Analisi di Protocolli Crittografici
SSD:
INF/01
Altri membri del gruppo di ricerca:
Riccardo FOCARDI
Analisi e verifica di sistemi distribuiti
SSD:
INF/01
Blockchain Programming Languages
SSD:
INF/01
Altri membri del gruppo di ricerca:
Lorenzo BENETOLLO
Sabina ROSSI
Alvise SPANO'
Innovazione digitale per le imprese
SSD:
INF/01
Altri membri del gruppo di ricerca:
Stefano MICELLI
Metodi formali per la sicurezza
SSD:
INF/01
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
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