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 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 la tesi dinnanzi alla commissione nazionale l'8 settembre 1997 con esito positivo.

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à.

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 25 pubblicazioni su riviste e atti di conferenze internazionali. Ha partecipato a diversi progetti di ricerca nazionali ed internazionali: ESPRIT Basic Research Action n. 6707 ("ParForce"); COFIN'99 "Certificazione automatica di programmi mediante interpretazione astratta"; COFIN'00 "Interpretazione astratta, sistemi di tipo e analisi Control-Flow"; COFIN'01 "Ragionamento su aggregati e numeri a supporto della programmazione e relative verifiche"; COFIN'02 "Verifica di sistemi reattivi basata su vincoli". Per quest'ultimo progetto, è stato responsabile dell'unità di Parma. Nell'ambito delle Azioni Integrate Italia-Spagna, è stato il coordinatore italiano del progetto ``Ambienti avanzati per lo sviluppo di programmi logici'' (IT229, 2001-2002). È l'autore principale di China, un analizzatore statico altamente innovativo per programmi logici con vincoli. 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. Guida anche il progetto interdisciplinare Parma University's Recurrence Relation Solver (PURRS) in corso presso il Dipartimento di Matematica dell'Università di Parma. L'obiettivo del progetto è quello di avanzare lo stato dell'arte nel campo dell'analisi e della verifica automatica di complessità.;

Ha svolto la sua attività didattica nei corsi di laurea in "Scienze ambientali", "Biotecnologie", "Matematica", "Matematica e informatica", "Matematica per la tecnologia e la finanza", e Informatica dell'Università di Parma.

[Page last updated on April 05, 2004, 17:24:31.]