BAGNARA Prof. Roberto

Roberto Bagnara inizia la propria formazione informatica presso l'Università di Bologna (1984-1987) ed il CERN di Ginevra, dove lavora nel gruppo di Tim Berners-Lee, inventore del World Wide Web (1988-1989). Consegue poi presso l'Università di Pisa la laurea con lode in Scienze dell'Informazione (1992) ed il Dottorato di Ricerca in Informatica (1997). È Research Fellow presso la School of Computer Studies della University of Leeds (1997) e poi Ricercatore (1997-2001) e Professore Associato (2001-2010) presso l'Università degli Studi di Parma, dove ora è Professore Ordinario di Informatica. È stato Visiting Researcher/Professor presso la Monash University di Melbourne, l'Université de La Réunion e l'École Polytechnique di Parigi. Dal 2000 è membro del collegio dei docenti del dottorato di ricerca in Matematica e Statistica per le Scienze Computazionali dell'Università di Milano e dal 1997 tiene corsi universitari ad ogni livello di fondamenti dell'informatica, linguaggi di programmazione, metodologie avanzate di programmazione, analisi e verifica del software. È attivo da 15 anni nei settori dell'analisi e della verifica dei programmi, dell'interpretazione astratta e, più in generale, delle tecniche di manipolazione dei programmi basate sulla semantica. È coautore di oltre 35 pubblicazioni su questi temi in riviste e atti di conferenze internazionali con revisione. La ricerca di Roberto Bagnara unisce l'investigazione rigorosa dei fondamenti teorici alla validazione sperimentale e all'applicazione in contesti concreti. È stato l'ispiratore ed il principale architetto di vari progetti software negli ambiti di ricerca suddetti, tra i quali la Parma Polyhedra Library (PPL), una libreria di astrazioni numeriche specialmente concepita per applicazioni nel campo dell'analisi e della verifica di sistemi hardware e software. La PPL è utilizzata in numerosi progetti presso i più prestigiosi centri di ricerca e, in particolare, è impiegata in GCC (la suite di compilatori più utilizzata al mondo).