BUGLIESI Michele

Position Full Professor
Telephone 041 234 8437
E-mail bugliesi@unive.it
Scientific sector (SSD) INFORMATICA [INF/01]
Website www.unive.it/persone/bugliesi (personal record)
 http://www.dsi.unive.it/~michele
Office Department of Environmental Sciences, Informatics and Statistics
Website: https://www.unive.it/dep.dais
Where: Campus scientifico via Torino
Room: office Z.B06 (Zeta B building)

Activities and research skills

General information

Scientific sector (SSD) INFORMATICA [INF/01]
Settore Scientifico Disciplinare (SSD) affine SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI [ING-INF/05]
Geographic areas in which the research experience mainly applies Internazionale: Europa, America Settentrionale
Known languages inglese (scritto: avanzato parlato: avanzato)
italiano (scritto: madrelingua parlato: madrelingua)
Participation in editorial boards of scientific journals/book series 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
Participation as referees of national and international research projects PRIN 2009
ERC Consolidator 2017
Areas and research fields Area: Informatica Linea: DISTRIBUTED SYSTEMS
Area: Informatica Linea: PROGRAMMING LANGUAGES
Area: Informatica

Research skills

Analisi della sicurezza informatica di sistemi e applicazioni distribuite

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

Analisi e sviluppo di applicazioni basate su servizi web

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

Analisi e progetto di sistemi software

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

Completed and pending researches

Analisi di Protocolli Crittografici

SSD INF/01
Other members of the research group Riccardo FOCARDI

Analisi e verifica di sistemi distribuiti

SSD INF/01

Digital Humanities

SSD INF/01
Other members of the research group 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

Funds

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

Funding body MIUR
Type Bando Smart Cities
Role in the project NS
Starting date Year: 2013 Length in months: 48
Other members of the research group 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

Funding body MIUR
Type PRIN
Role in the project PT
Starting date Year: 2012 Length in months: 24
Other members of the research group Maria Simonetta BALSAMO
Gian-Luca DEI ROSSI
Andrea MARIN
Sabina ROSSI

EUTYPES - 2016

Funding body Unione Europea
Type COST
Role in the project PT
Starting date Year: 2016 Length in months: 36
Other members of the research group Agostino CORTESI
Riccardo FOCARDI

Sicurezza, affidabilita' e protezione della privacy nelle piattaforme mobili

Funding body Regione Veneto
Type POR FSE (2007-2013)
Role in the project LD
Starting date Year: 2012 Length in months: 12