Breve biografia di Roberto Bagnara

Dal 1984 al 1987 ha lavorato al Dipartimento di Fisica dell'Università di Bologna occupandosi di software per l'acquisizione dati, l'analisi delle immagini, e la diagnosi automatica dei guasti.

Nel 1988 e 1989 è al CERN di Ginevra (il laboratorio europeo per la fisica delle particelle) dove si occupa, tra l'altro, di compilatori e di sistemi di Remote Procedure Call insieme a Tim Berners-Lee, il padre del World Wide Web.

Nel novembre 1988 pone fine alla sua carriera di autodidatta si iscrive al corso di laurea in Scienze dell'Informazione dell'Università di Pisa, dove si laurea con lode il 17 luglio 1992.

Alla fine del 1992 risulta vincitore di due posti dell'ottavo ciclo del Dottorato di Ricerca, rispettivamente in Informatica presso il Dipartimento di Informatica di Pisa e in Matematica Computazionale e Informatica Matematica presso il Dipartimento di Matematica dell'Universita di Padova. Esercita opzione per il Dottorato di Ricerca in Informatica. Discute con successo la tesi dinnanzi alla commissione nazionale l'8 settembre 1997.

Nel 1997 è Research fellow presso la School of Computing dell'Università di Leeds, Regno Unito.

Nel 1997 diventa Ricercatore in Informatica presso l'Università degli Studi di Parma, e, dal 2001 è Professore associato di Informatica presso la stessa Università, dove dirige l'Applied Formal Methods Laboratory.

Roberto Bagnara è attivo nei settori dell'analisi di programmi, dell'interpretazione astratta e, più in generale, delle tecniche di manipolazione dei programmi basate sulla semantica. È coautore di oltre 35 pubblicazioni su riviste e atti di conferenze internazionali. Ha partecipato a diversi progetti di ricerca nazionali ed internazionali, rivestendo varie volte il ruolo di responsabile dell'unità di ricerca di Parma. Guida il gruppo che ha progettato e implementato la Parma Polyhedra Library (PPL): la PPL è una libreria C++ moderna, robusta ed efficiente per la manipolazione di poliedri convessi e numerose altre astrazioni numeriche utilizzate nell'analisi di sistemi hardware e software. È l'autore principale di China, un analizzatore statico altamente innovativo per programmi logici con vincoli. Ha guidato anche il progetto interdisciplinare Parma University's Recurrence Relation Solver (PURRS). Ha dato inizio al progetto ECLAIR, il cui obiettivo finale è la realizzazione di un analizzatore statico innovativo per linguaggi imperativi.

Ha svolto la sua attività didattica principalmente nei corsi di laurea in "Scienze ambientali", "Biotecnologie", "Matematica", "Matematica e informatica" e "Informatica" dell'Università di Parma. È membro del collegio dei docenti del dottorato di ricerca in "Matematica e Statistica per le Scienze Computazionali" (MaSSC), consorzio tra le università di Milano, Parma e Torino.

[Page last updated on September 26, 2011, 07:58:36.]