Hanno realizzato il materiale di questo modulo:

Prof. Maurizio Gabbrielli

Maurizio Gabbrielli è professore straordinario di informatica presso il Dipartimento di Scienze di Informazione dell'Università di Bologna. Ha conseguito il titolo di dottore di ricerca in informatica nel 1992 presso l'Università di Pisa ed è stato quindi ricercatore presso il CWI (centro di ricerca per la matematica e l'informatica) di Amsterdam, ricercatore presso l'Università di Pisa e professore associato presso l'Università di Udine. I suoi interessi di ricerca includono i linguaggi di programmazione, i metodi formali per la verifica e l'analisi, la programmazione con vincoli e la teoria della concorrenza. È autore di più di 50 articoli pubblicati su riviste e atti di congressi internazionali, ha partecipato a numerosi progetti italiani ed internazionali ed è stato membro e presidente del comitato di programma di varie conferenze internazionali. È attualmente presidente del comitato esecutivo di PPDP, presidente della associazione italiana di programmazione logica, membro del comitato esecutivo di ALP (Association for Logic Programming) e membro del comitato esecutivo di EAPLS (European Association for Programming Languages and Systems).

Prof. Simone Martini

Simone Martini è professore ordinario di Informatica nell'Università Bologna. Laureato in Scienze dell'Informazione e Dottore di Ricerca in Informatica (Università di Pisa), ha insegnato nelle Università di Pisa e Udine. È visitatore presso il Systems Research Center della Digital Equipment Corporation a Palo Alto, la Stanford University, l'Ècole normale supérieure di Parigi. I suoi interessi di ricerca riguardano i fondamenti logici dei linguaggi di programmazione.