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
- Frontiers In Computer Science (Academic Editor, Theoretical Computer Science)
- Theoretical Computer Science - Logic, Semantics and Theory of Programming (TCS-B)
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: ARTIFICIAL INTELLIGENCE
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
Strumenti di Intelligenza Artificiale per l'analisi di Linguaggi di Programmazione
SSD:
INFO-01/A
Altri membri del gruppo di ricerca:
Dalila RESSI
Sabina ROSSI
Alvise SPANO'
Rocco TRIPODI
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
SERICS - SPOKE 6 Sicurezza del software e delle piattaforme
Ente finanziatore:
National Recovery and Resilience Plan (NRRP) funded by the European Union - NextGenerationEU
Tipologia:
Altri finanziamenti per progetti di ricerca
Ruolo nel progetto:
NS
Sito di progetto:
https://serics.eu/services/spoke-6-sicurezza-software-piattaforme/
Data inizio:
Anno: 2023 Durata mesi: 36
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