Maurizio
Gabbrielli


Gabbrielli
italiana Professore Oridnario Università di Bologna Core Faculty
Contatto Email

BIO

Maurizio Gabbrielli è professore ordinario di Informatica presso il Dipartimento di Scienze dell'Informazione dell'Alma Mater Studiorum - Università di Bologna. Laureato in Scienze dell'Informazione e Dottore di ricerca in Informatica, ha insegnato anche nelle università di Pisa e Udine ed è stato ricercatore per due anni presso il CWI (Centro per la Matematica e l'Informatica) di Amsterdam. I suoi interessi di ricerca includono i metodi formali di analisi e verifica, la programmazione con vincoli e la teoria della concorrenza. È autore di più di 80 pubblicazioni su libri, riviste e conferenze internazionali, è stato Conference e Program Chair di varie conferenze internazionali e ha partecipato a vari progetti di ricerca europei. È membro dell'advisory board della rivista ``Theory and Practice of Logic Programming'', del board della European Association for Programming Languages and Systems ed è stato membro del consiglio direttivo della conferenza PPDP e del comitato esecutivo dell' Associazione Internazionale di Programmazione Logica (ALP).

CORSI