Michele BUGLIESI

Position
Full Professor
Telephone
041 234 8437
E-mail
bugliesi@unive.it
Scientific sector (SSD)
INFORMATICA [INF/01]
Website
www.unive.it/people/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.B05 (Zeta B building)

Activities and research skills

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
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
Participation as referees of national and international research projects
PRIN 2009
ERC Consolidator 2017
Areas and research fields
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
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
Analisi di Protocolli Crittografici
SSD:
INF/01
Other members of the research group:
Riccardo FOCARDI
Analisi e verifica di sistemi distribuiti
SSD:
INF/01
Blockchain Programming Languages
SSD:
INF/01
Other members of the research group:
Lorenzo BENETOLLO
Sabina ROSSI
Alvise SPANO'
Innovazione digitale per le imprese
SSD:
INF/01
Other members of the research group:
Stefano MICELLI
Metodi formali per la sicurezza
SSD:
INF/01
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
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